Talk:Chris Bird

Anyone else noticed his new Beyond Nested Arrays IV? As far as I can see it goes up to around θ(φ(Ω, 1)), which is pretty good: it's a long way above the Bachmann-Howard but still nowhere near the Takeuti-Feferman-Buchholz ordinal.DrCeasium (talk) 10:07, May 28, 2013 (UTC)