Talk:Kripke-Platek

From Cantor's Attic
Jump to: navigation, search

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

The article is missing references and I'm not sure where to point at. --Stefan Mesken (talk) 13:25, 14 November 2017 (PST)

Welcome to the wiki Stefan. The article on ZFC doesn't have any reference either. We can let it like this for now, but if we add results like its proof theoretic ordinal we'll add references for those results. Julian Barathieu (talk) 13:32, 14 November 2017 (PST)