About: http://dbpedia.org/resource/Kripke%E2%80%93Platek_set_theory_with

The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF.

Property	Value
dbpprop:abstract	The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Kripke%E2%80%93Platek_set_theory_with_urelements
dbpprop:reference	http://bureau.philo.at/phlo/199703/msg00185.html http://www.cs.bilkent.edu.tr/~akman/jour-papers/air/node7.html
rdf:type	http://dbpedia.org/class/yago/Urelements http://dbpedia.org/class/yago/SystemsOfSetTheory
rdfs:comment	The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF.
rdfs:label	Kripke–Platek set theory with urelements
owl:sameAs	freebase:http://dbpedia.org/resource/Kripke%E2%80%93Platek_set_theory_with_urelements
skos:subject	dbpedia:Category:Urelements dbpedia:Category:Systems_of_set_theory
foaf:page	http://en.wikipedia.org/wiki/Kripke%E2%80%93Platek_set_theory_with_urelements
is dbpprop:redirect of	dbpedia:Kripke–Platek_set_theory_with_ur-elements dbpedia:Kripke-Platek_set_theory_with_urelements dbpedia:Kripke-Platek_set_theory_with_ur-elements
is owl:sameAs of	yago:http://dbpedia.org/resource/Kripke%E2%80%93Platek_set_theory_with_urelements

About: http://dbpedia.org/resource/Kripke%E2%80%93Platek_set_theory_with_urelements