Matches in DBpedia 2015-10 for { ?s ?p "The Kripke–Platek axioms of set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, are a system of axiomatic set theory based on the ideas of Saul Kripke (1964) and Richard Platek (1966).KP is considerably weaker than Zermelo–Fraenkel set theory (ZFC), and can be thought of as roughly the predicative part of ZFC. The consistency strength of KP with an axiom of infinity is given by the Bachmann–Howard ordinal."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Kripke–Platek_set_theory comment "The Kripke–Platek axioms of set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, are a system of axiomatic set theory based on the ideas of Saul Kripke (1964) and Richard Platek (1966).KP is considerably weaker than Zermelo–Fraenkel set theory (ZFC), and can be thought of as roughly the predicative part of ZFC. The consistency strength of KP with an axiom of infinity is given by the Bachmann–Howard ordinal.".