diff options
| author | David A. Madore <david+git@madore.org> | 2013-02-20 16:20:13 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2013-02-20 16:20:13 +0100 |
| commit | 195c53462a4208d8f543851ffae741856170b13b (patch) | |
| tree | 0be1d73dbfa14ab67ebc665d2dedb8cfbd980780 /ordinal-zoo.tex | |
| parent | 741c8fc0752470f7314a2b39ca7bfbd38e9e59e3 (diff) | |
| download | ordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.tar.gz ordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.tar.bz2 ordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.zip | |
Avoid making a dubious hypothesis on the collapsing function.
Diffstat (limited to 'ordinal-zoo.tex')
| -rw-r--r-- | ordinal-zoo.tex | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ordinal-zoo.tex b/ordinal-zoo.tex index 5e796a1..0f94365 100644 --- a/ordinal-zoo.tex +++ b/ordinal-zoo.tex @@ -125,10 +125,9 @@ variables. for an appropriate collapsing function $\psi$). This is the range of the Veblen functions with up to that many variables. -\ordinal The Bachmann-Howard ordinal ($\psi(\varepsilon_{\Omega+1}) = -\psi(\Omega_2)$ for an appropriate collapsing function $\psi$). This -is the proof-theoretic ordinal of Kripke-Platek set -theory ($\mathsf{KP}$). +\ordinal The Bachmann-Howard ordinal ($\psi(\varepsilon_{\Omega+1})$ +for an appropriate collapsing function $\psi$). This is the +proof-theoretic ordinal of Kripke-Platek set theory ($\mathsf{KP}$). \ordinal The countable collapse of $\varepsilon_{\Omega_\omega + 1}$ (“Takeuti-Feferman-Buchholz ordinal”), which is the proof-theoretic |