Pages that link to "Item:Q3163663"

The following pages link to Reverse Mathematics: The Playground of Logic (Q3163663):

Displaying 15 items.

• Inductive inference and reverse mathematics (Q324252) (← links)
• 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)
• Reverse mathematics and its meaning (Q1312709) (← links)
• The modal logic of reverse mathematics (Q2339962) (← links)
• Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
• Reverse mathematics, trichotomy, and dichotomy (Q3145982) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← 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)
• Alice’s adventures in inverse tan land – mathematical argument, language and proof (Q5860104) (← links)
• ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
• The Ginsburg-Sands theorem and computability theory (Q6492253) (← links)