Abstract
We show that the theories ZF and ZFU are synonymous, answering a question of Visser.
Citation
Benedikt Löwe. "Set Theory With and Without Urelements and Categories of Interpretations." Notre Dame J. Formal Logic 47 (1) 83 - 91, 2006. https://doi.org/10.1305/ndjfl/1143468313
Information