A partition theorem for pairs of finite sets
classification
🧮 math.LO
keywords
partitioneveryfiniteomegacharactercofinalconsistentdirected
read the original abstract
Every partition of [[omega_1]^{< omega}]^2 into finitely many pieces has a cofinal homogeneous set. Furthermore, it is consistent that every directed partially ordered set satisfies the partition property if and only if it has finite character.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.