Talk:Kripke–Platek set theory with urelements
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Untitled
[edit]In what way does it differ from just ZF without the axiom of infinity ? --195.93.102.71 22:41, 26 Apr 2005 (UTC)Mike
It lacks for instance axioms for power sets, an infinite set, or choice. Bgohla 22:48, 2005 May 3 (UTC)
If there's no infinity, the power set and the choice hold. I realize that the axiom of foundation is stated differently from it is in ZF but apparently ZF without infinity can be derived from KPU. Can KPU be derived from ZF minus infinity, in other words, does ZF actually preclude urelements? - Michel42
Compare & Contrast
[edit]Can somebody who's an expert in this topic write about how KPU differs from other axiomatizations? Statements like "KPU is considered freer than ZF" or "KPU is favoured by constructivists" or "XXXX famous result cannot be proved with KPU, but YYYYY famous result can." Crasshopper (talk) 07:15, 19 December 2010 (UTC)