Set Theory With and Without Urelements and Categories of Interpretations
Benedikt Löwe
Source: Notre Dame J. Formal Logic Volume 47, Number 1 (2006), 83-91.
Abstract
We show that the theories ZF and ZFU are synonymous, answering a question of Visser.
Primary Subjects: 03E30
Secondary Subjects: 03F25
Keywords: categories of interpretations; homotopy; synonymy
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1143468313
Digital Object Identifier: doi:10.1305/ndjfl/1143468313
References
[1] Jech, T., Set Theory, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
Mathematical Reviews (MathSciNet):
MR2004g:03071
Zentralblatt MATH:
1007.03002
[2] Visser, A., Categories of Theories and Interpretations, vol. 228 of Logic Group Preprint Series, Faculteit Wijsbegeerte, Universiteit Utrecht, 2004.
Mathematical Reviews (MathSciNet):
MR2262326
Notre Dame Journal of Formal Logic
