Classes and truths in set theory (Q450946): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
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. | |||
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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F03 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
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 | |||
Property / reviewed by: Branislav R. Boričić / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2011.12.006 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052199430 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated local reflection versus iterated consistency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof-theoretic analysis by iterated reflection / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on Formal Theories of Truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of formal truth arithmetically equivalent to ID<sub>1</sub> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing for the impredicative theory of classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907550 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3329455 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transfinite recursive progressions of axiomatic theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflecting on incompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of the axioms of local and universal choice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4108328 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165372 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5619071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic approach to self-referential truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative Truth Definability of Axiomatic Truth Theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Autonomous progression and transfinite iteration of self-applicable truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A system of complete and consistent truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conservative theories of classical truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3005147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Feferman's operational set theory \textsf{OST} / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Full operational set theory with unbounded existential quantification and power set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4630796 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The proof-theoretic analysis of transfinitely iterated fixed point theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3081646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4105666 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An ordinal analysis for theories of self-referential truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3425062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How truthlike can a predicate be? A negative result / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5642550 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3773877 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3138834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing under Anti‐Foundation Axiom: An expression of the stalks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The strength of extensionality. II: Weak weak set theories without infinity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3395521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof theory. 2nd ed / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:03, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classes and truths in set theory |
scientific article |
Statements
Classes and truths in set theory (English)
0 references
26 September 2012
0 references
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
class theory
0 references
proof theory
0 references
theory of truth
0 references
set theory
0 references
global choice.
0 references
0 references