Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kripke–Platek_set_theory> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Kripke–Platek_set_theory abstract "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. Unlike ZFC, KP does not include the power set axiom, and KP includes only limited forms of the axiom of separation and axiom of replacement from ZFC. These restrictions on the axioms of KP lead to close connections between KP, generalized recursion theory, and the theory of admissible ordinals.".
- Kripke–Platek_set_theory wikiPageID "1124695".
- Kripke–Platek_set_theory wikiPageLength "7694".
- Kripke–Platek_set_theory wikiPageOutDegree "34".
- Kripke–Platek_set_theory wikiPageRevisionID "680598670".
- Kripke–Platek_set_theory wikiPageWikiLink Admissible_ordinal.
- Kripke–Platek_set_theory wikiPageWikiLink Admissible_set.
- Kripke–Platek_set_theory wikiPageWikiLink Arithmetical_hierarchy.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_empty_set.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_extensionality.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_infinity.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_pairing.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_power_set.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_regularity.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_of_union.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_schema_of_predicative_separation.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_schema_of_replacement.
- Kripke–Platek_set_theory wikiPageWikiLink Axiom_schema_of_specification.
- Kripke–Platek_set_theory wikiPageWikiLink Bachmann–Howard_ordinal.
- Kripke–Platek_set_theory wikiPageWikiLink Bounded_quantifier.
- Kripke–Platek_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Kripke–Platek_set_theory wikiPageWikiLink Constructible_universe.
- Kripke–Platek_set_theory wikiPageWikiLink Empty_set.
- Kripke–Platek_set_theory wikiPageWikiLink Epsilon-induction.
- Kripke–Platek_set_theory wikiPageWikiLink Impredicativity.
- Kripke–Platek_set_theory wikiPageWikiLink Kripke–Platek_set_theory_with_urelements.
- Kripke–Platek_set_theory wikiPageWikiLink Mathematical_logic.
- Kripke–Platek_set_theory wikiPageWikiLink Model_theory.
- Kripke–Platek_set_theory wikiPageWikiLink Ordered_pair.
- Kripke–Platek_set_theory wikiPageWikiLink Ordinal_number.
- Kripke–Platek_set_theory wikiPageWikiLink Set_theory.
- Kripke–Platek_set_theory wikiPageWikiLink Subset.
- Kripke–Platek_set_theory wikiPageWikiLink Transitive_set.
- Kripke–Platek_set_theory wikiPageWikiLink Well-formed_formula.
- Kripke–Platek_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Kripke–Platek_set_theory wikiPageWikiLinkText "KP".
- Kripke–Platek_set_theory wikiPageWikiLinkText "Kripke%E2%80%93Platek_set_theory".
- Kripke–Platek_set_theory wikiPageWikiLinkText "Kripke–Platek set theory".
- Kripke–Platek_set_theory authorlink "Richard Platek".
- Kripke–Platek_set_theory authorlink "Saul Kripke".
- Kripke–Platek_set_theory first "Richard".
- Kripke–Platek_set_theory first "Saul".
- Kripke–Platek_set_theory last "Kripke".
- Kripke–Platek_set_theory last "Platek".
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Citation.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Cite_book.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Cite_journal.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Harvs.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:IPAc-en.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Mathematical_logic.
- Kripke–Platek_set_theory wikiPageUsesTemplate Template:Set_theory.
- Kripke–Platek_set_theory year "1964".
- Kripke–Platek_set_theory year "1966".
- Kripke–Platek_set_theory subject Category:Systems_of_set_theory.
- Kripke–Platek_set_theory hypernym System.
- Kripke–Platek_set_theory type Redirect.
- 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.".
- Kripke–Platek_set_theory label "Kripke–Platek set theory".
- Kripke–Platek_set_theory sameAs Q3526833.
- Kripke–Platek_set_theory sameAs Théorie_des_ensembles_de_Kripke-Platek.
- Kripke–Platek_set_theory sameAs Teoria_dos_Conjuntos_Kripke-Platek.
- Kripke–Platek_set_theory sameAs m.048cjm.
- Kripke–Platek_set_theory sameAs Q3526833.
- Kripke–Platek_set_theory wasDerivedFrom Kripke–Platek_set_theory?oldid=680598670.
- Kripke–Platek_set_theory isPrimaryTopicOf Kripke–Platek_set_theory.