Pages that link to "Item:Q4915224"

The following pages link to On the strength of Ramsey's theorem without Σ₁‐induction (Q4915224):

Displaying 2 items.

• Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)