Classes and truths in set theory

DOI10.1016/j.apal.2011.12.006zbMath1300.03010MaRDI QIDQ450946

Kentaro Fujimoto

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.006

zbMATH Keywords

proof theory; set theory; theory of truth; class theory; global choice.

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03E70: Nonclassical and second-order set theories

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY, UNIVERSISM AND EXTENSIONS OF V, THE COPERNICAN MULTIVERSE OF SETS, Inner mantles and iterated HOD, Feferman and the Truth, MODAL STRUCTURALISM AND REFLECTION, MINIMUM MODELS OF SECOND-ORDER SET THEORIES, THE EXPRESSIVE POWER OF TRUTH, Open determinacy for class games, THE EXACT STRENGTH OF THE CLASS FORCING THEOREM, FINITIST AXIOMATIC TRUTH, A fixed point theory over stratified truth, First‐order undefinability of the notion of transfinitely uplifting cardinals, VARIETIES OF CLASS-THEORETIC POTENTIALISM, A note on typed truth and consistency assertions, One hundred years of semantic paradox, Disquotation and infinite conjunctions, Deflationism beyond arithmetic, Set theoretical analogues of the Barwise-Schlipf theorem, Full and hat inductive definitions are equivalent in NBG, Set-theoretic blockchains, Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives, A few more dissimilarities between second-order arithmetic and set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strength of extensionality. II: Weak weak set theories without infinity
• Full operational set theory with unbounded existential quantification and power set
• How truthlike can a predicate be? A negative result
• Proof theory. 2nd ed
• An axiomatic approach to self-referential truth
• Set theory. An introduction to independence proofs
• Conservative theories of classical truth
• Proof-theoretic analysis by iterated reflection
• A system of complete and consistent truth
• Iterated local reflection versus iterated consistency
• An ordinal analysis for theories of self-referential truth
• On Feferman's operational set theory \textsf{OST}
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• Relative Truth Definability of Axiomatic Truth Theories
• Autonomous progression and transfinite iteration of self-applicable truth
• A theory of formal truth arithmetically equivalent to ID₁
• AXIOMS FOR DETERMINATENESS AND TRUTH
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• Comparison of the axioms of local and universal choice
• Forcing for the impredicative theory of classes
• Transfinite recursive progressions of axiomatic theories