Log in :: RSS/Atom Feeds
Notre Dame Journal of Formal Logic

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.

First Page: Show Hide
Primary Subjects: 03E30
Secondary Subjects: 03F25
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1143468313
Digital Object Identifier: doi:10.1305/ndjfl/1143468313
Mathematical Reviews number (MathSciNet): MR2211184
Zentralblatt MATH identifier: 1108.03051

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

2012 © University of Notre Dame

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic
Euclid Prime Journal

Turn MathJax Off
What is MathJax?