A Theorem in the Partition Calculus
From MaRDI portal
Recommendations
Cited in
(14)- Partition relations for denumerable ordinals
- Choiceless Ramsey theory of linear orders
- A partition calculus in set theory
- On a classification of denumerable order types and an application to the partition calculus
- An ordinal partition avoiding pentagrams
- A Partition Theorem of Subbarao
- scientific article; zbMATH DE number 1885985 (Why is no real title available?)
- Formalizing ordinal partition relations using Isabelle/HOL
- Topological Ramsey numbers and countable ordinals
- A theorem and some consistency results in partition calculus
- A formalised theorem in the partition calculus
- Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
- Countable partition ordinals
- Ordinal Partitions
This page was built for publication: A Theorem in the Partition Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3215221)