The following pages link to Rapidly growing Ramsey functions (Q1168967):
Displaying 13 items.
- Ranked partial structures (Q4650273) (← links)
- Logical dreams (Q4804133) (← links)
- 1994 Annual Meeting of the Association for Symbolic Logic (Q4837677) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
- On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies (Q5278196) (← links)
- Unprovability of sharp versions of Friedman’s sine-principle (Q5291944) (← links)
- Schreier sets in Ramsey theory (Q5429475) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
- Conservation strength of the infinite pigeonhole principle for trees (Q6561666) (← links)
- Erdős-Moser and \(I \Sigma_2\) (Q6635147) (← links)
- Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (Q6650261) (← links)
