Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
From MaRDI portal
Publication:2841359
DOI10.1090/S0002-9947-2012-05416-XzbMath1287.03030OpenAlexW1989276782MaRDI QIDQ2841359
Publication date: 25 July 2013
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9947-2012-05416-x
comparabilityreverse mathematicsarithmetic Bolzano-Weierstrass theoremhyperarithmetic analysissequential limit system
Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)
Related Items
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS, Infinite dimensional proper subspaces of computable vector spaces, THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH, THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computable structures and the hyperarithmetical hierarchy
- Recursive well-orderings
- THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
- On the Π1 1 -separation principle
- Forcing with tagged trees
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
- Recursive Pseudo-Well-Orderings