Classes and truths in set theory
From MaRDI portal
Publication:450946
DOI10.1016/j.apal.2011.12.006zbMath1300.03010OpenAlexW2052199430MaRDI QIDQ450946
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
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 (23)
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
- 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 ID1
- 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
- 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
This page was built for publication: Classes and truths in set theory