THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
From MaRDI portal
Publication:3094184
DOI10.1017/S1755020310000407zbMATH Open1258.03017MaRDI QIDQ3094184FDOQ3094184
Publication date: 21 October 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Proof theory in general (including proof-theoretic semantics) (03F03) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
Cites Work
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- Power types in explicit mathematics?
- On power set in explicit mathematics
- Implication and analysis in classical Frege structures
- A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
- Formalizing non-termination of recursive programs
- Second order theories with ordinals and elementary comprehension
- Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought
- Truth in applicative theories
- Universes over Frege structures
- Extending the first-order theory of combinators with self-referential truth
- Frege structures for partial applicative theories
- Positive Frege and its Scott‐style semantics
Recommendations
- Title not available (Why is that?) 👍 👎
- A theory of formal truth arithmetically equivalent to ID1 👍 👎
- FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE 👍 👎
- Natural deduction based set theories: a new resolution of the old paradoxes 👍 👎
- Intrinsically II Relations 👍 👎
- A logic of abstraction related to finite constructive number classes 👍 👎
- The Arché papers on the mathematics of abstraction 👍 👎
- A mathematically derived definitional/semantical theory of truth 👍 👎
- First-order Frege theory is undecidable 👍 👎
- Structural-Abstraction Principles 👍 👎
This page was built for publication: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094184)
