Difference between revisions of "User-blog:Julian Barathieu/Ordinal analyses"

From Cantor's Attic
Jump to: navigation, search
Line 95: Line 95:
 
|
 
|
 
|-
 
|-
| $\Psi^{\varepsilon_{\Xi+1}}_\mathbb{H}$
+
| $\Psi^{\varepsilon_{\Upsilon+1}}_\mathbb{H}$
 
|
 
|
| $\text{KPi}+\forall\alpha\exists\kappa$ $L_\kappa\prec_1 L_{\kappa+\alpha}$
+
| $\text{Stability},\text{KPi}+\forall\alpha\exists\kappa$ $L_\kappa\prec_1 L_{\kappa+\alpha}$
 
| [https://d-nb.info/1017849250/34]
 
| [https://d-nb.info/1017849250/34]
 
|
 
|

Revision as of 11:28, 12 February 2018

Currently in construction. Do not edit.

Arithmetical theories

Set theories

Ordinal-collapsing functions

Table of proof-theoretic ordinals and their corresponding theories

Proof-theoretic ordinal Arithmetical theories Set theories References Notes
$\varepsilon_0$ $\text{ACA}_0$ $\text{KP}\setminus\text{\{Infinity\}}$ [1] First epsilon number
$\Gamma_0$ $\text{ATR}_0$ $\text{KPi}^-,\text{CZF}^-+\exists\kappa(\kappa\text{ is inaccessible})$ [2]
$\theta(\delta_n,0)$ $\text{ACA}_0+(\Pi^1_{n+1}-\text{BI})$ $\text{KP}^-+(\Pi_{n+1}-\text{Foundation})$ [3] $\delta_1=\Omega^\omega,\delta_{n+1}=\Omega^{\delta_n}$
$\theta(\eta_n,0)$ $\text{ACA}+(\Pi^1_{n+1}-\text{BI})$ $\text{KP}^-+\text{IND}+(\Pi_{n+1}-\text{Foundation})$ [4] $\eta_1=\Omega^{\varepsilon_0},\eta_{n+1}=\Omega^{\eta_n}$
$\psi_{\Omega_1}(\varepsilon_{\Omega+1})$ $\text{ACA}+\text{BI}$ $\text{KP}$ [5] Bachmann-Howard ordinal
$\psi_{\Omega_1}(\Omega_\omega)$ $\Pi^1_1-\text{CA}_0, \Delta^1_2-\text{CA}_0$ [6]
$\psi_{\Omega_1}(\Omega_\omega\varepsilon_0)$ $\Pi^1_1-\text{CA}$ [7]
$\psi_{\Omega_1}(\varepsilon_{\Omega_\omega+1})$ $\Pi^1_1-\text{CA}+\text{BI}$ [8] Takeuti-Feferman-Buchholz ordinal
$\psi_{\Omega_1}(\Omega_{\varepsilon_0})$ $\Delta^1_2-\text{CA}$ [9]
$\psi_{\Omega_1}(\varepsilon_{\mathcal{M}+1})$
$\Psi^0_{\Omega_1}(\varepsilon_{\mathcal{K}+1})$ $\text{ACA}+\text{BI}+(\Pi^1_4-\beta\text{-model Reflection})$ $\text{KP}+(\Pi_3-\text{Reflection})$ [10]
$\Psi^{\varepsilon_{\Xi+1}}_\mathbb{X}$ $\text{ACA}+\text{BI}+\beta\text{-model Reflection}$ $\text{KP}+(\Pi_\omega-\text{Reflection})$ [11]
$\Psi^{\varepsilon_{I+1}}_\mathbb{K}$ $\Delta^1_2-\text{CA}+\text{BI}+\text{ parameter-free}$ $\Pi^1_2-\text{CA}$ $\text{KP}+\exists M(\text{Trans(M)}\land M\prec_1 V)$ [12]
$\Psi^{\varepsilon_{\Upsilon+1}}_\mathbb{H}$ $\text{Stability},\text{KPi}+\forall\alpha\exists\kappa$ $L_\kappa\prec_1 L_{\kappa+\alpha}$ [13]

- $\text{KPi}$, $\Delta^1_2-\text{CA}+\text{BI}$ (full cut elimination): [14]

- $\text{KPM}$ (full analysis): [15], [16]

- $\Delta^1_2-\text{CA+BI }+$ parameter-free $\Pi^1_2-\text{CA}$ (full analysis): [17]

- $\text{KP +}$ strong reflection principles (full analysis): [18]

- $\text{Stability}, \text{KP }+$ "for all $\alpha$, there is a $\alpha$-stable ordinal " (full analysis): [19], [20]

- $\Pi^1_2-\text{CA}_0, \Pi^1_2-\text{CA+BI}, \Delta^1\_3-\text{CA}$: [21]

- $\text{KP + V=L +}$ "there is an uncountable regular cardinal" (full cut elimination): [22]

https://www1.maths.leeds.ac.uk/~rathjen/Sepp-chiemsee.pdf - Pi^1\_1-CA0, ID<w, Pi^1\_1-CA - Pi^1\_1-CA+BI, IDw, Delta^1\_2-CR - Delta^1\_2-CA, Delta^1\_2-CA+BI = KPi