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):
Displayed 9 items.
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- Does Mathematics Need New Axioms? (Q5890202) (← links)
- Does Mathematics Need New Axioms? (Q5890203) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)