The following pages link to Proof-theoretic analysis of KPM (Q803124):
Displaying 31 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Simplified collapsing functions and their applications (Q687397) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Reduction of finite and infinite derivations (Q1577482) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- How to characterize provably total functions by local predicativity (Q4879900) (← links)
- Monotone inductive definitions in explicit mathematics (Q4879904) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe (Q5013908) (← links)
- Zur Beweistheorie Von KPM (Q5013916) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
