New equivalences to axioms weaker than AC in topology
Abstract
In this work, new equivalences of topological statements and weaker axioms than 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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.