A topological set theory implied by ZF and GPK^+_

DOI10.4115/JLA.2013.5.1MaRDI QIDQ4907838zbMATH OpenOpenAlexFDO

Authors Andreas Fackler

Publication date 25 February 2013

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

essential set theoryGPKtopological set theoryuniversal set

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Abstract: We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK and the theory of hyperuniverses. On the other hand, it retains most of the expressiveness of these theories and has the same consistency strength as ZF. We single out the additional axiom of the universal set as the one that increases the consistency strength to that of GPK and explore several other axioms and interrelations between those theories. Our results are independent of whether the empty class is a set and whether atoms exist. This article is a revised version of the first part of the author's doctoral thesis.

Recommendations

• scientific article; zbMATH DE number 6320514
• scientific article; zbMATH DE number 2115803
• FOUNDATIONS OF A NEW AXIOMATIC SET THEORY
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• scientific article; zbMATH DE number 3880679

Cites work

• A general construction of hyperuniverses
• Addendum and corrigendum: ``Choice principle in hyperuniverses
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• Characterizations of compact ordinal spaces via continuous selections
• Choice principles in hyperuniverses
• scientific article; zbMATH DE number 4070881 (Why is no real title available?)
• scientific article; zbMATH DE number 1107496 (Why is no real title available?)
• scientific article; zbMATH DE number 2068676 (Why is no real title available?)
• scientific article; zbMATH DE number 2115803 (Why is no real title available?)
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• On the Consistency of a Positive Theory
• The consistency problem for positive comprehension principles

Cited in

(4)

• scientific article; zbMATH DE number 3880679 (Why is no real title available?)
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• scientific article; zbMATH DE number 1107496 (Why is no real title available?)
• scientific article; zbMATH DE number 3279146 (Why is no real title available?)

This page was built for publication: A topological set theory implied by \(\text{ZF}\) and \(\text{GPK}^+_\infty\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907838)