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
Published: 2006
First available in Project Euclid: 27 March 2006
zbMATH: 1108.03051
MathSciNet: MR2211184
Digital Object Identifier: 10.1305/ndjfl/1143468313
Subjects:
Primary:
03E30
Secondary:
03F25
Keywords:
categories of interpretations
,
homotopy
,
synonymy
Rights: Copyright © 2006 University of Notre Dame
