Classes and truths in set theory (Q450946): Difference between revisions

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.

0 references

zbMATH Keywords

class theory

0 references

proof theory

0 references

theory of truth

0 references

set theory

0 references

global choice.

0 references

reviewed by

Branislav R. Boričić

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.apal.2011.12.006

0 references

cites work

Q4075450

0 references

Iterated local reflection versus iterated consistency

0 references

Proof-theoretic analysis by iterated reflection

0 references

Notes on Formal Theories of Truth

0 references

A theory of formal truth arithmetically equivalent to ID<sub>1</sub>

0 references

Forcing for the impredicative theory of classes

0 references

Q3907550

0 references

Q3329455

0 references

Transfinite recursive progressions of axiomatic theories

0 references

Reflecting on incompleteness

0 references

AXIOMS FOR DETERMINATENESS AND TRUTH

0 references

Comparison of the axioms of local and universal choice

0 references

Q4108328

0 references

Q4165372

0 references

Q5619071

0 references

An axiomatic approach to self-referential truth

0 references

Relative Truth Definability of Axiomatic Truth Theories

0 references

Autonomous progression and transfinite iteration of self-applicable truth

0 references

A system of complete and consistent truth

0 references

Conservative theories of classical truth

0 references

Q3005147

0 references

On Feferman's operational set theory \textsf{OST}

0 references

Full operational set theory with unbounded existential quantification and power set

0 references

Q4630796

0 references

The proof-theoretic analysis of transfinitely iterated fixed point theories

0 references

Q3081646

0 references

Q4105666

0 references

Set theory. An introduction to independence proofs

0 references

An ordinal analysis for theories of self-referential truth

0 references

Q3425062

0 references

How truthlike can a predicate be? A negative result

0 references

0 references

0 references

0 references

0 references

Forcing under Anti‐Foundation Axiom: An expression of the stalks

0 references

RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES

0 references

The strength of extensionality. II: Weak weak set theories without infinity

0 references

Q3395521

0 references

Proof theory. 2nd ed

0 references

Identifiers

zbMATH Open document ID

1300.03010

0 references

DOI

10.1016/j.apal.2011.12.006

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:450946

@@ Property / review text @@
+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.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E70
@@ Property / Mathematics Subject Classification ID: 03E70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F03
@@ Property / Mathematics Subject Classification ID: 03F03 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6086892
@@ Property / zbMATH DE Number: 6086892 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+class theory
@@ Property / zbMATH Keywords: class theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof theory
@@ Property / zbMATH Keywords: proof theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theory of truth
@@ Property / zbMATH Keywords: theory of truth / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+set theory
@@ Property / zbMATH Keywords: set theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global choice.
@@ Property / zbMATH Keywords: global choice. / rank @@
+Normal rank
@@ Property / reviewed by @@
+Branislav R. Boričić
@@ Property / reviewed by: Branislav R. Boričić / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2011.12.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2052199430
@@ Property / OpenAlex ID: W2052199430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated local reflection versus iterated consistency
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis by iterated reflection
@@ Property / cites work: Proof-theoretic analysis by iterated reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+Forcing for the impredicative theory of classes
@@ Property / cites work: Forcing for the impredicative theory of classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907550
@@ Property / cites work: Q3907550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR DETERMINATENESS AND TRUTH
@@ Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of the axioms of local and universal choice
+Normal rank
@@ Property / cites work @@
+Q4108328
@@ Property / cites work: Q4108328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165372
@@ Property / cites work: Q4165372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619071
@@ Property / cites work: Q5619071 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Autonomous progression and transfinite iteration of self-applicable truth
+Normal rank
@@ Property / cites work @@
+A system of complete and consistent truth
@@ Property / cites work: A system of complete and consistent truth / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative theories of classical truth
@@ Property / cites work: Conservative theories of classical truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+On Feferman's operational set theory \textsf{OST}
@@ Property / cites work: On Feferman's operational set theory \textsf{OST} / rank @@
+Normal rank
@@ Property / cites work @@
+Full operational set theory with unbounded existential quantification and power set
+Normal rank
@@ Property / cites work @@
+Q4630796
@@ Property / cites work: Q4630796 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated fixed point theories
+Normal rank
@@ Property / cites work @@
+Q3081646
@@ Property / cites work: Q3081646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105666
@@ Property / cites work: Q4105666 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+An ordinal analysis for theories of self-referential truth
+Normal rank
@@ Property / cites work @@
+Q3425062
@@ Property / cites work: Q3425062 / rank @@
+Normal rank
@@ Property / cites work @@
+How truthlike can a predicate be? A negative result
+Normal rank
@@ Property / cites work @@
+Q5642550
@@ Property / cites work: Q5642550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773877
@@ Property / cites work: Q3773877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138834
@@ Property / cites work: Q3138834 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing under Anti‐Foundation Axiom: An expression of the stalks
+Normal rank
@@ Property / cites work @@
+RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
+Normal rank
@@ Property / cites work @@
+The strength of extensionality. II: Weak weak set theories without infinity
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:450946