Forcing and antifoundation

DOI10.1007/S00153-004-0268-5zbMATH Open1085.03039OpenAlexW1972724775MaRDI QIDQ2486987FDOQ2486987

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

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

zbMATH Keywords

forcinggenericityantifoundation

Mathematics Subject Classification ID

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

Cites Work

• Set theory. An introduction to independence proofs
• Elementary induction on abstract structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures in set theory with particular emphasis on the method of forcing

Cited In (8)

• Title not available (Why is that?)
• 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
• Antifoundation and transitive closure in the system of Zermelo
• Forcing in admissible sets
• Forcing with the anti-foundation axiom

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)