Forcing and antifoundation

DOI10.1007/S00153-004-0268-5MaRDI QIDQ2486987zbMATH OpenOpenAlexFDO

Authors Athanassios Tzouvaras

Publication date 17 August 2005

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-004-0268-5

zbMATH Keywords

antifoundationforcinggenericity

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35)

Review text

The author reworks the machinery of forcing under Aczel's axiom of antifundation (a strong negation of the axiom of foundation) [see \textit{P. Aczel}, Non-well-founded sets. Stanford, CA: CSLI (1988; Zbl 0668.04001)]. The main result is that if \(M\) is a countable, transitive model of ZFC minus foundation plus antifoundation then so is \(M[G]\). An erratum points out that a key point of the argument (the truth lemma) holds only in a weaker form.

Recommendations

• Forcing with the anti-foundation axiom
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• Forcing with non-wellfounded models
• scientific article; zbMATH DE number 37881
• scientific article; zbMATH DE number 740994

Cites work

• Elementary induction on abstract structures
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• Lectures in set theory with particular emphasis on the method of forcing
• Set theory. An introduction to independence proofs

Cited in

(11)

• Forcing in admissible sets
• An axiomatic approach to forcing and generic extensions
• Undirecting membership in models of anti-foundation
• Forcing with the anti-foundation axiom
• Stranger things about forcing without AC.
• Set forcing over models of Zermelo or Mac Lane
• Forcing with non-wellfounded models
• scientific article; zbMATH DE number 1827832 (Why is no real title available?)
• Largest fixed points of set continuous operators and Boffa's Anti-Foundation
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• Antifoundation and transitive closure in the system of Zermelo

This page was built for publication: Forcing and antifoundation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486987)