Classes and truths in set theory

DOI10.1016/j.apal.2011.12.006zbMath1300.03010OpenAlexW2052199430MaRDI 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 theoryset theorytheory of truthclass theoryglobal choice.

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

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

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