Pages that link to "Item:Q5485751"
From MaRDI portal
The following pages link to INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS (Q5485751):
Displayed 9 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- Galvin's ``racing pawns'' game, internal hyperarithmetic comprehension, and the law of excluded middle (Q1949169) (← links)
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359) (← links)
- Necessary use of induction in a reversal (Q3011120) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM (Q3396197) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- On the Π<sub>1</sub> <sup>1</sup> -separation principle (Q3545211) (← links)