Difference between revisions of "Talk:Kripke-Platek"

From Cantor's Attic
Jump to: navigation, search
(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. --~~~~")
 
Line 1: Line 1:
 
The proof theoretic ordinal for KP is the Bachmann-Howard ordinal. I think this countable ordinal deserves its own article in Cantor's Attic. --[[User:Stefan Mesken|Stefan Mesken]] ([[User talk:Stefan Mesken|talk]]) 13:15, 14 November 2017 (PST)
 
The proof theoretic ordinal for KP is the Bachmann-Howard ordinal. I think this countable ordinal deserves its own article in Cantor's Attic. --[[User:Stefan Mesken|Stefan Mesken]] ([[User talk:Stefan Mesken|talk]]) 13:15, 14 November 2017 (PST)
 +
 +
The article is missing references and I'm not sure where to point at. --[[User:Stefan Mesken|Stefan Mesken]] ([[User talk:Stefan Mesken|talk]]) 13:25, 14 November 2017 (PST)

Revision as of 14:25, 14 November 2017

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)

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