Pages that link to "Item:Q1322453"
From MaRDI portal
The following pages link to Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453):
Displaying 13 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← 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)
- \(\Sigma_1\)-wellorders without collapsing (Q2339964) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
