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 16 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)
- Huge reflection (Q2084962) (← links)
- Combinatory logic with polymorphic types (Q2144609) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- Strong unfoldability, shrewdness and combinatorial consequences (Q5086945) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION (Q5884254) (← links)
- Does Mathematics Need New Axioms? (Q5890202) (← links)
- Does Mathematics Need New Axioms? (Q5890203) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
