Translator Disclaimer
2006 Set Theory With and Without Urelements and Categories of Interpretations
Benedikt Löwe
Notre Dame J. Formal Logic 47(1): 83-91 (2006). DOI: 10.1305/ndjfl/1143468313

Abstract

We show that the theories ZF and ZFU are synonymous, answering a question of Visser.

Citation

Download 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

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
9 PAGES


SHARE
Vol.47 • No. 1 • 2006
Back to Top