scientific article; zbMATH DE number 6845518

MaRDI QIDQ4606038zbMATH OpenFDO

Authors J. Andres Montoya

Publication date 28 February 2018

zbMATH Keywords

forcingintuitionistic logicsheaves

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Model theory for sheaves of modules
• Some model theory of sheaves of modules
• scientific article; zbMATH DE number 2068089
• scientific article; zbMATH DE number 3254675
• On the sheaf theory
• scientific article; zbMATH DE number 31601
• scientific article; zbMATH DE number 120343
• Sheaf theory and Paschke duality
• scientific article; zbMATH DE number 2131825
• Sheaves in homotopy theory

Cited in

(4)

• scientific article; zbMATH DE number 3867322 (Why is no real title available?)
• scientific article; zbMATH DE number 4087661 (Why is no real title available?)
• Sheaf models for choice sequences
• Some model theory of sheaves of modules

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 Q4606038)