Forcing under Anti‐Foundation Axiom: An expression of the stalks
DOI10.1002/MALQ.200410060zbMATH Open1095.03047OpenAlexW2101453321WikidataQ114018713 ScholiaQ114018713MaRDI QIDQ5485403FDOQ5485403
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
Recommendations
forcingtransition systemsbisimulationgeneric extensionnon-well-founded set theoryAczel's AFAgeneric filter eliminationIntensional set theory
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)
Cited In (9)
- 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. II: Weak weak set theories without infinity
- Forcing and antifoundation
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- The strength of extensionality. I: Weak weak set theories with infinity
- Forcing with the anti-foundation axiom
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
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)
