A Theorem in the Partition Calculus
From MaRDI portal
Publication:3215221
DOI10.4153/CMB-1972-088-1zbMath0271.04003OpenAlexW2085588050WikidataQ105837393 ScholiaQ105837393MaRDI QIDQ3215221
Publication date: 1972
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cmb-1972-088-1
Combinatorial aspects of partitions of integers (05A17) Enumerative combinatorics (05A99) Ordinal and cardinal numbers (03E10)
Related Items (6)
Formalizing Ordinal Partition Relations Using Isabelle/HOL ⋮ Choiceless Ramsey theory of linear orders ⋮ Partition relations for denumerable ordinals ⋮ A formalised theorem in the partition calculus ⋮ Topological Ramsey numbers and countable ordinals ⋮ Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
This page was built for publication: A Theorem in the Partition Calculus
