Classes and truths in set theory

Research output: Contribution to journalArticle (Academic Journal)peer-review

35 Citations (Scopus)


This article studies three most basic systems of truth as well as their subsystems (and one extra system) over set theory image possibly with image or the axiom of global choice image, and then correlates them with subsystems of Morse–Kelley class theory image. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, are also presented. The equivalence results among systems of truth and classes obtained in this article are summarized in Theorem 104 (Section 7.1), Theorem 107 (Section 7.2) and Theorem 108 (Section 8).
Original languageEnglish
Pages (from-to)1484-1523
Number of pages40
JournalAnnals of Pure and Applied Logic
Issue number11
Publication statusPublished - Nov 2012


Dive into the research topics of 'Classes and truths in set theory'. Together they form a unique fingerprint.

Cite this