Pages that link to "Item:Q3215221"
From MaRDI portal
The following pages link to A Theorem in the Partition Calculus (Q3215221):
Displaying 11 items.
- A theorem and some consistency results in partition calculus (Q579247) (← links)
- Countable partition ordinals (Q636357) (← links)
- Partition relations for denumerable ordinals (Q1138557) (← links)
- Choiceless Ramsey theory of linear orders (Q1686191) (← links)
- A partition calculus in set theory (Q3233344) (← links)
- On a classification of denumerable order types and an application to the partition calculus (Q3848197) (← links)
- A Partition Theorem of Subbarao (Q4777369) (← links)
- (Q4798568) (← links)
- Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473) (← links)
- Topological Ramsey numbers and countable ordinals (Q5351851) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)