Pages that link to "Item:Q1117221"
From MaRDI portal
The following pages link to The Galvin-Prikry theorem and set existence axioms (Q1117221):
Displaying 8 items.
- Reverse mathematics and initial intervals (Q386152) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- Parallel Feedback Turing Computability (Q5283431) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- The logical strength of minimal bad arrays (Q6658147) (← links)
