INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
From MaRDI portal
Publication:5485751
Recommendations
- Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
- Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
- The metamathematics of scattered linear orderings
- On the Equimorphism Types of Linear Orderings
Cites work
- A construction for recursive linear orderings
- Computable structures and the hyperarithmetical hierarchy
- Equivalence between Fraïssé's conjecture and Jullien's theorem
- Forcing with tagged trees
- Hierarchies of number-theoretic predicates
- Invariants, Boolean algebras and ACA₀⁺
- On Fraissé's order type conjecture
- On the strength of Ramsey's theorem for pairs
- Recursive well-orderings
- Reverse mathematics and ordinal exponentiation
- Stability of recursive structures in arithmetical degrees
- Up to equimorphism, hyperarithmetic is recursive
Cited in
(20)- Connecting real and hyperarithmetical analysis
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- Complete Determinacy and Subsystems of Second Order Arithmetic
- Infinite dimensional proper subspaces of computable vector spaces
- Countable sets versus sets that are countable in reverse mathematics
- Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle
- Linear orders: when embeddability and epimorphism agree
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
- THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
- Reverse mathematics: the playground of logic
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- On the Π1 1 -separation principle
- Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis
- Open questions in reverse mathematics
- Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
This page was built for publication: INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5485751)
