Universes over Frege structures
From MaRDI portal
Publication:1861539
DOI10.1016/S0168-0072(02)00040-4zbMath1018.03046MaRDI QIDQ1861539
Publication date: 9 March 2003
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Related Items (2)
Autonomous progression and transfinite iteration of self-applicable truth ⋮ THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
Cites Work
- Implication and analysis in classical Frege structures
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Fixed points in Peano arithmetic with ordinals
- The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- Universes in metapredicative analysis
- The unfolding of non-finitist arithmetic
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule
- Does reductive proof theory have a viable rationale?
- Totality in applicative theories
- Understanding uniformity in Feferman's explicit mathematics
- Levels of truth
- Second order theories with ordinals and elementary comprehension
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- Logical frameworks for truth and abstraction. An axiomatic study
- The strength of Martin-Löf type theory with a superuniverse. I
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
- Extending the first-order theory of combinators with self-referential truth
- A theory of formal truth arithmetically equivalent to ID1
- The strength of admissibility without foundation
- On the relation between choice and comprehension principles in second order arithmetic
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Notes on Formal Theories of Truth
- Beweistheorie vonKPN
- The proof-theoretic analysis of transfinitely iterated fixed point theories
- A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
- Partial Applicative Theories and Explicit Substitutions
- Frege structures for partial applicative theories
- Some theories with positive induction of ordinal strength φω0
- Universes in explicit mathematics
- The strength of Martin-Löf type theory with a superuniverse. II
- Truth in applicative theories
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Universes over Frege structures