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

forcinggenericityantifoundation

Mathematics Subject Classification ID

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

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

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

Cited in

(11)

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

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)