Quasitopoi, logic and Heyting-valued models (Q1078653): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3050433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a Topological Topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monomorphisms, Epimorphisms, and Pull-Backs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness results for intuitionistic and modal logic in a categorical setting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A category-theoretic approach to Boolean-valued models of set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4185008 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4125452 / rank | |||
Normal rank |
Latest revision as of 15:11, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasitopoi, logic and Heyting-valued models |
scientific article |
Statements
Quasitopoi, logic and Heyting-valued models (English)
0 references
1986
0 references
This paper deals with various facets of quasitopoi, which are relevant to the interpretation and modelling of first-order logic in quasitopoi. The first section deals with topologies. A topology \(\sigma\) on a quasitopos Q is strong iff the \(\sigma\)-closure of every mono is a strong mono. If \(\sigma\) is strong, the \(\sigma\)-sheaves, \(sh_{\sigma}(Q)\), form a topos. The strong topology which assigns to every mono the strong monic part of its epic/strong monic factorization has as its sheaves what the author calls the coarse objects of the quasitopos Q. A quasitopos is called solid iff it has disjoint coproducts. Solid quasitopoi behave well with respect to several topos theoretic constructions. In particular, if Q is solid and \(X\in Q\), then Q/X is again solid and if \({\mathcal C}\) is an internal category in Q, then \(Q^{{\mathcal C}}\) is a solid quasitopos. Next, the author describes the interpretation of first order logic in quasitopoi. It is analogous to the case of topoi, except that predicates must be interpreted as strong monos rather than arbitrary monos. Finally, if H is a complete Heyting algebra, a solid quasitopos of models, Mod(H), is described. The topos of coarse objects of Mod(H) turns out to be precisely sh(H).
0 references
(E,M)-factorization
0 references
quasitopoi
0 references
first-order logic
0 references
\(\sigma \) -sheaves
0 references
topos
0 references
strong topology
0 references
solid quasitopos
0 references
complete Heyting algebra
0 references
coarse objects
0 references