The cumulative hierarchy and the constructible universe of ZFA
Mathematical Logic Quarterly 50 (1):99 (2004)
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.DOI
10.1002/malq.200310080
My notes
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.
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic.George Tourlakis - 2003 - Cambridge University Press.
Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
Elementary extensions of external classes in a nonstandard universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
“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.
Maximal variety as a new fundamental principle of dynamics.Julian B. Barbour - 1989 - Foundations of Physics 19 (9):1051-1073.
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
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)
2013-12-01
Downloads
269 (#45,447)
6 months
1 (#451,971)
Historical graph of downloads
Citations of this work
Forcing under Anti‐Foundation Axiom: An expression of the stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.
