Forcing and antifoundation

Archive for Mathematical Logic 44 (5):645-661 (2005)
  Copy   BIBTEX

Abstract

It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are greatest fixed points of continuous operators (a method sometimes referred to as “corecursion”). As an application it is shown that the generic extensions of standard models of ZFCA are models of ZFCA again

Categories

Keywords

Reprint years

DOI

10.1007/s00153-004-0268-5

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,839

External links

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

Through your library

My notes

Similar books and articles

Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
Forcing with the Anti‐Foundation axiom.Olivier Esser - 2012 - Mathematical Logic Quarterly 58 (1-2):55-62.
Largest fixed points of set continuous operators and Boffa's Anti-Foundation.Hisato Muraki - 2005 - Mathematical Logic Quarterly 51 (4):365.
Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.
Partially definable forcing and bounded arithmetic.Albert Atserias & Moritz Müller - 2015 - Archive for Mathematical Logic 54 (1):1-33.
Generic relativizations of fine structure.Kai Hauser - 2000 - Archive for Mathematical Logic 39 (4):227-251.
Adding many Baumgartner clubs.David Asperó - 2017 - Archive for Mathematical Logic 56 (7-8):797-810.
(A. TZOUVARAS What is so special with the powerset operation? 723). BAGARIA• R. BOSCH Proper forcing extensions and Solovay models 739. [REVIEW]M. Hamano, A. di Nola & A. LETT1ERI - 2004 - Archive for Mathematical Logic 43:822.
Forcing under Anti‐Foundation Axiom: An expression of the stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.

Analytics

Added to PP
2013-11-23

Downloads
48 (#499,201)

6 months
1 (#1,599,003)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

Forcing under Anti‐Foundation Axiom: An expression of the stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.

Add more citations

References found in this work

[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.

Add more references