Quasitopoi, logic and Heyting-valued models

DOI10.1016/0022-4049(86)90077-0zbMath0597.18001OpenAlexW2071604874MaRDI QIDQ1078653

G. P. Monro

Publication date: 1986

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(86)90077-0

zbMATH Keywords

first-order logictoposstrong topologycoarse objectscomplete Heyting algebra(E,M)-factorization\(\sigma \) -sheavesquasitopoisolid quasitopos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Basic properties of first-order languages and structures (03C07) Foundations, relations to logic and deductive systems (18A15)

Related Items

Logic, sheaves, and factorization systems, Fundamentals of compositional rewriting theory, A survey of fuzzy set and topos theory, New wide classes of weakly Mal'tsev categories, Concurrency theorems for non-linear rewriting theories

Cites Work

• A category-theoretic approach to Boolean-valued models of set theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• On a Topological Topos
• Monomorphisms, Epimorphisms, and Pull-Backs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item