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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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

On Non-wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
Fixed-points of Set-continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
A Characterization of Permutation Models in Terms of Forcing.Eric J. Hall - 2002 - Notre Dame Journal of Formal Logic 43 (3):157-168.
An Approach to QST-based Nmatrices Semantics.Juan Pablo Jorge, Federico Holik & Décio Krause - 2023 - Principia: An International Journal of Epistemology 27 (3):539-607.
The Hahn representation theorem for ℓ-groups in ZFA.D. Gluschankof - 2000 - Journal of Symbolic Logic 65 (2):519-524.

Analytics

Added to PP
2013-12-01

Downloads
289 (#92,705)

6 months
9 (#449,254)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references