Talk:Kripke-Platek

From Cantor's Attic
Revision as of 14:15, 14 November 2017 by Stefan Mesken (Talk | contribs) (Created page with "The proof theoretic ordinal for KP is the Bachmann-Howard ordinal. I think this countable ordinal deserves its own article in Cantor's Attic. --~~~~")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The proof theoretic ordinal for KP is the Bachmann-Howard ordinal. I think this countable ordinal deserves its own article in Cantor's Attic. --Stefan Mesken (talk) 13:15, 14 November 2017 (PST)