Forcing under Anti‐Foundation Axiom: An expression of the stalks

DOI10.1002/MALQ.200410060MaRDI QIDQ5485403zbMATH OpenOpenAlexWikidataFDO

Authors Kentaro Sato

Publication date 30 August 2006

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

Full work available at URL http://hdl.handle.net/2027.42/55242

zbMATH Keywords

forcingtransition systemsbisimulationgeneric extensionnon-well-founded set theoryAczel's AFAgeneric filter eliminationIntensional set theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other set-theoretic hypotheses and axioms (03E65)

Recommendations

• Forcing with the anti-foundation axiom
• Forcing and antifoundation
• An axiomatic approach to forcing and generic extensions
• Forcing with non-wellfounded models
• scientific article; zbMATH DE number 37881

Cited in

(9)

• The strength of extensionality. II: Weak weak set theories without infinity
• Classes and truths in set theory
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
• Forcing for hat inductive definitions in arithmetic
• The strength of extensionality. I: Weak weak set theories with infinity
• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
• Forcing and antifoundation
• Forcing with the anti-foundation axiom
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP

This page was built for publication: Forcing under Anti‐Foundation Axiom: An expression of the stalks

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