THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
From MaRDI portal
Publication:3094184
DOI10.1017/S1755020310000407zbMath1258.03017MaRDI QIDQ3094184
Publication date: 21 October 2011
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
Cites Work
- Implication and analysis in classical Frege structures
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- Formalizing non-termination of recursive programs
- Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought
- Universes over Frege structures
- Second order theories with ordinals and elementary comprehension
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- Extending the first-order theory of combinators with self-referential truth
- Positive Frege and its Scott‐style semantics
- Power types in explicit mathematics?
- A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
- On power set in explicit mathematics
- Frege structures for partial applicative theories
- Truth in applicative theories
This page was built for publication: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
