Induced morphisms between Heyting-valued models

MaRDI QIDQ5039182zbMATH OpenFDO

Authors José Goudet Alvim, Arthur Francisco Schwerz Cahali, Hugo L. Mariano

Publication date 12 October 2022

Full work available at URL https://arxiv.org/abs/1910.08193

zbMATH Keywords

geometric morphismsHeyting-valued modelslocalic topoi

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Heyting-valued interpretations for constructive set theory
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Construction of monadic Heyting algebra in any logos.
• scientific article; zbMATH DE number 3845809
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics

Cited in

(2)

• Factorization of morphisms between Heyting systems
• Induced morphisms between Heyting-valued models

This page was built for publication: Induced morphisms between Heyting-valued models

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