From 195c53462a4208d8f543851ffae741856170b13b Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 20 Feb 2013 16:20:13 +0100
Subject: Avoid making a dubious hypothesis on the collapsing function.

---
 ordinal-zoo.tex | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'ordinal-zoo.tex')

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
-- 
cgit v1.2.3

