The cumulative hierarchy and the constructible universe of ZFA

Mathematical Logic Quarterly 50 (1):99 (2004)
  Copy   BIBTEX

Abstract

We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell in order to prove that the universe of ZFA can also be obtained as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next we show that it is possible to define a new absolute Gödel operation in addition to the standard ones in order to obtain the “constructible” model of ZFA as the least fixed point of the continuous operator of Gödel closure with respect to the standard and the new Gödel operations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,391

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Generalizations of Gödel's universe of constructible sets.Sy-David Friedman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Kripke models for subtheories of CZF.Rosalie Iemhoff - 2010 - Archive for Mathematical Logic 49 (2):147-167.
On revision operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
The iterative conception of set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
“Time Travel‘ in the Godel Universe.David B. Malament - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:91 - 100.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.

Analytics

Added to PP
2013-12-01

Downloads
269 (#45,447)

6 months
1 (#451,971)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references