Pages that link to "Item:Q3953757"
From MaRDI portal
The following pages link to On the role of Ramsey quantifiers in first order arithmetic (Q3953757):
Displayed 7 items.
- A dual form of Ramsey's theorem (Q1057862) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- \(\text{PA} (aa)\) (Q1913630) (← links)
- Peano Arithmetic and Hyper-Ramsey Logic (Q3028994) (← links)
- Set theory with a filter quantifier (Q3666826) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)