Quasitopoi, logic and Heyting-valued models
From MaRDI portal
Publication:1078653
DOI10.1016/0022-4049(86)90077-0zbMath0597.18001OpenAlexW2071604874MaRDI QIDQ1078653
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
first-order logictoposstrong topologycoarse objectscomplete Heyting algebra(E,M)-factorization\(\sigma \) -sheavesquasitopoisolid quasitopos
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