A topological set theory implied by ZF and GPK+∞

DOI10.4115/jla.2013.5.1zbMath1285.03067arXiv1206.1927OpenAlexW2090953182MaRDI QIDQ4907838

Andreas Fackler

Publication date: 25 February 2013

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1206.1927

zbMATH Keywords

universal settopological set theoryessential set theoryGPK

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizations of compact ordinal spaces via continuous selections
• Addendum and corrigendum: ``Choice principle in hyperuniverses
• A general construction of hyperuniverses
• Choice principles in hyperuniverses
• Inconsistency of the Axiom of Choice with the positive theory
• The consistency problem for positive comprehension principles
• On the Consistency of a Positive Theory
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory

This page was built for publication: A topological set theory implied by ZF and GPK⁺_∞