Classes and truths in set theory (Q450946)

The author introduces and studies three basic systems of truth, the classical typed Tarskian truth system TC, the iterated typed Tarskian truth system \(\mathrm{RT}_\alpha\), and the Kripke-Feferman self-applicable truth system KF, including some of their subsystems, and correlate them with subsystems of Morse-Kelley class theory MK, or supersystems of von Neumann-Bernays-Gödel class theory NBG. Some equivalence results between truth systems and subsystems of MK are obtained, a forcing for class theory MK is developed, some forms of the reflection principle are presented and some conservativity results concerning the axiom of global choice are proved. The paper presents an unavoidable reference in the field of the axiomatic study of truth in set theory in connection with class theory.