New equivalences to axioms weaker than AC in topology
de-la-Concepción, Daniel
الأصل · EN
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.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.