scientific article
From MaRDI portal
Publication:3671968
zbMATH Open0522.03045MaRDI QIDQ3671968FDOQ3671968
Publication date: 1982
Title of this publication is not available (Why is that?)
proof-theoretic ordinalconstructive systemsfixed points of ordinal functionsordinals associated with theories
Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Cited In (31)
- An intensional fixed point theory over first order arithmetic
- Type-theoretic interpretation of iterated, strictly positive inductive definitions
- Inaccessibility in constructive set theory and type theory
- Universes over Frege structures
- Levels of truth
- Reflections on reflections in explicit mathematics
- Inaccessible set axioms may have little consistency strength
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
- Totality in applicative theories
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
- Predicativity and Feferman
- An ordinal analysis for theories of self-referential truth
- Feferman and the Truth
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join
- Classical predicative logic-enriched type theories
- Universes in explicit mathematics
- On Relating Theories: Proof-Theoretical Reduction
- Intuitionistic fixed point theories over set theories
- Fixed points in Peano arithmetic with ordinals
- Truth and the philosophy of mathematics
- Proof Theory of Constructive Systems: Inductive Types and Univalence
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Some results on cut-elimination, provable well-orderings, induction and reflection
- The Operational Penumbra: Some Ontological Aspects
- Reflecting and unfolding
- Second order theories with ordinals and elementary comprehension
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671968)
