Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
arXiv:2009.05368 · doi:10.14712/1213-7243.2023.028
Abstract
In set theory without the Axiom of Choice (AC), we observe new relations of the following statements with weak choice principles. 1. Every locally finite connected graph has a maximal independent set. 2. Every locally countable connected graph has a maximal independent set. 3. If in a partially ordered set all antichains are finite and all chains have size , then the set has size if is regular. 4. Every partially ordered set has a cofinal well-founded subset. 5. If is a connected locally finite chordal graph, then there is an ordering of such that is a clique for each .
Revised version