The following pages link to (Q3671968):
Displaying 31 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Universes over Frege structures (Q1861539) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Levels of truth (Q1903585) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY (Q4637943) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
