Pages that link to "Item:Q3163663"
From MaRDI portal
The following pages link to Reverse Mathematics: The Playground of Logic (Q3163663):
Displayed 8 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES (Q5381030) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)