Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
In set theory without the axiom of choice (AC), we observe new relations of the following statements with weak choice principles. (Every locally finite connected graph has a maximal independent set). (Every locally countable connected graph has a maximal independent set). CAC (If in a partially ordered set all antichains are finite and all chains have size , then the set has size ) if is regular. CWF (Every partially ordered set has a cofinal well-founded...