Set Theory With and Without Urelements and Categories of Interpretations
Löwe, Benedikt
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 83-91 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We show that the theories ZF and ZFU are synonymous, answering a question of Visser.
Publié le : 2006-01-14
Classification:  categories of interpretations,  homotopy,  synonymy,  03E30,  03F25 
@article{1143468313,
     author = {L\"owe, Benedikt},
     title = {Set Theory With and
Without Urelements and Categories of Interpretations},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 83-91},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1143468313}
}

Löwe, Benedikt. Set Theory With and
Without Urelements and Categories of Interpretations. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  83-91. http://gdmltest.u-ga.fr/item/1143468313/