On the existence of large antichains for definable quasi-orders
classification
🧮 math.LO
keywords
antichainsdefinableexistencequasi-ordersanalogousbeyondcardinalcharacterization
read the original abstract
We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy.
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.