Pages that link to "Item:Q4873894"
From MaRDI portal
The following pages link to Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894):
Displaying 22 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Mathematical proof theory in the light of ordinal analysis (Q1868167) (← links)
- Huge reflection (Q2084962) (← links)
- Combinatory logic with polymorphic types (Q2144609) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- (Q3800031) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- Strong unfoldability, shrewdness and combinatorial consequences (Q5086945) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION (Q5884254) (← links)
- Does mathematics need new axioms? (Q5890202) (← links)
- In memoriam: Kenneth Jon Barwise, 1942--2000 (Q5890203) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
