Pages that link to "Item:Q3545211"
From MaRDI portal
The following pages link to On the Π<sub>1</sub> <sup>1</sup> -separation principle (Q3545211):
Displayed 7 items.
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359) (← links)
- THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM (Q3396197) (← links)
- TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES (Q6180600) (← links)