New equivalences to axioms weaker than AC in topology

2015/10/30 by Daniel de-la-Concepción, de-la-Concepción, Daniel
Mathematics · #FOS: Mathematics #General Topology (math.GN) #math.GN

paper · pdf · doi:10.48550/arxiv.1510.09139

arxiv created 2015/10/30 · arxiv updated 2015/11/02

Abstract

In this work, new equivalences of topological statements and weaker axioms than \bf AC are proven. This equivalences include the use of anti-properties. All this equivalences have been checked with a computer using the theorem proving system Isabelle/Isar and are available at the isarmathlib repository.

Related

• Some equivalences for Martin's Axiom in asymmetric topology
• Separation axioms as lifting properties
• On rectifiable spaces and its algebraical equivalents, topological algebraic systems and Mal'cel algebras (continuation)
• Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
• Weak Baumgartner axioms and universal spaces