Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kripke–Platek_set_theory_with_urelements> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Kripke–Platek_set_theory_with_urelements abstract "The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke-Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU. The purpose of allowing urelements is to allow large or high-complexity objects (such as the set of all reals) to be included in the theory's transitive models without disrupting the usual well-ordering and recursion-theoretic properties of the constructible universe; KP is so weak that this is hard to do by traditional means.".
- Kripke–Platek_set_theory_with_urelements wikiPageExternalLink msg00185.html.
- Kripke–Platek_set_theory_with_urelements wikiPageExternalLink 2273185.
- Kripke–Platek_set_theory_with_urelements wikiPageID "1572078".
- Kripke–Platek_set_theory_with_urelements wikiPageLength "4485".
- Kripke–Platek_set_theory_with_urelements wikiPageOutDegree "29".
- Kripke–Platek_set_theory_with_urelements wikiPageRevisionID "621356243".
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Admissible_ordinal.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Admissible_set.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_of_extensionality.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_of_pairing.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_of_regularity.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_of_union.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_schema.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_schema_of_predicative_separation.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiom_schema_of_replacement.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Axiomatic_system.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Baire_space_(set_theory).
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Category:Systems_of_set_theory.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Category:Urelements.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Constructible_universe.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Infinitary_logic.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Journal_of_Symbolic_Logic.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Kripke–Platek_set_theory.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Model_theory.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Set_theory.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Transitive_set.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Universal_quantification.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Urelement.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Kripke–Platek_set_theory_with_urelements wikiPageWikiLinkText "Kripke–Platek set theory with urelements".
- Kripke–Platek_set_theory_with_urelements wikiPageUsesTemplate Template:Citation.
- Kripke–Platek_set_theory_with_urelements wikiPageUsesTemplate Template:Expert-subject.
- Kripke–Platek_set_theory_with_urelements subject Category:Systems_of_set_theory.
- Kripke–Platek_set_theory_with_urelements subject Category:Urelements.
- Kripke–Platek_set_theory_with_urelements hypernym System.
- Kripke–Platek_set_theory_with_urelements type Redirect.
- Kripke–Platek_set_theory_with_urelements comment "The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke-Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU.".
- Kripke–Platek_set_theory_with_urelements label "Kripke–Platek set theory with urelements".
- Kripke–Platek_set_theory_with_urelements sameAs Q6437113.
- Kripke–Platek_set_theory_with_urelements sameAs m.05cdlx.
- Kripke–Platek_set_theory_with_urelements sameAs Q6437113.
- Kripke–Platek_set_theory_with_urelements wasDerivedFrom Kripke–Platek_set_theory_with_urelements?oldid=621356243.
- Kripke–Platek_set_theory_with_urelements isPrimaryTopicOf Kripke–Platek_set_theory_with_urelements.