Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem

• Autores: Chris J. Conidis
• Localización: Transactions of the American Mathematical Society, ISSN 0002-9947, Vol. 364, Nº 9, 2012, págs. 4465-4494
• Idioma: inglés
• DOI: 10.1090/s0002-9947-2012-05416-x
• Texto completo no disponible (Saber más ...)