Search results
Jump to navigation
Jump to search
- Zermelo originally considered a version of <math>\mathrm{ZFC}^2</math> with urelements. Rather than using the modern satisfaction relation <math>\vDash</math>, he ...3 KB (408 words) - 06:30, 30 July 2024
- ...\mathrm{KPU}</math>, a variant of [[Kripke-Platek set theory]] admitting [[urelements]].<ref name="Barwise75" /><sup>p. 64</sup> ...4 KB (772 words) - 16:21, 4 January 2025
- ...Abraham Fraenkel|Fraenkel]] constructed a permutation model of [[Urelement#Urelements in set theory|Zermelo–Fraenkel with Atoms]] in which the set of atoms is an ...5 KB (772 words) - 01:30, 23 November 2024
- 7 KB (998 words) - 21:45, 29 February 2024
- 9 KB (1,415 words) - 13:56, 27 December 2024
- ...[[urelement]]s, one has to further make sure that the definition excludes urelements from appearing in ordinals. ...48 KB (7,353 words) - 20:34, 10 February 2025
- ...ts that have only other sets as elements, that is, without any [[Urelement|urelements]].}} ...90 KB (13,951 words) - 23:05, 2 December 2024