summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-02-20 16:20:13 +0100
committerDavid A. Madore <david+git@madore.org>2013-02-20 16:20:13 +0100
commit195c53462a4208d8f543851ffae741856170b13b (patch)
tree0be1d73dbfa14ab67ebc665d2dedb8cfbd980780
parent741c8fc0752470f7314a2b39ca7bfbd38e9e59e3 (diff)
downloadordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.tar.gz
ordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.tar.bz2
ordinal-zoo-195c53462a4208d8f543851ffae741856170b13b.zip
Avoid making a dubious hypothesis on the collapsing function.
-rw-r--r--ordinal-zoo.tex7
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