scientific article; zbMATH DE number 3900729

MaRDI QIDQ3679161zbMATH OpenFDO

Authors J. L. Moens

Publication date 1982

zbMATH Keywords

forcingKripke-Joyal semanticssheaf semanticssurveytopos

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Categorical logic, topoi (03G30) Grothendieck topologies and Grothendieck topoi (18F10)

Recommendations

• A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra
• scientific article; zbMATH DE number 65753
• The modal logic of forcing
• Forcing in Proof Theory
• Forcing and classifying topoi

Cited in

(6)

• Forcing and classifying topoi
• Forcing for IZF in sheaf toposes
• A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra
• scientific article; zbMATH DE number 65753 (Why is no real title available?)
• Forcing in Proof Theory
• The law of the subject: Alain Badiou, Luitzen Brouwer and the Kripkean analysis of forcing and Heyting calculus.

This page was built for publication:

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