Sheaves and Boolean valued model theory

DOI10.2307/2273725zbMath0411.03028OpenAlexW2087424958MaRDI QIDQ4198736

George Loullis

Publication date: 1979

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273725

zbMATH Keywords

transfer theoremsBoolean valued modelsfirst order model theory for elementary topoipreservation theorems for model completenesssheaves over a complete Heyting algebrasheaves over a topological space

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Dimension of Boolean valued lattices and rings ⋮ Rings and sheaves ⋮ Hilbert's Nullstellensatz revisited ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Preordered sets valued in a GL-monoid ⋮ Comprehensive Gröbner bases and regular rings ⋮ Unnamed Item ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ When does a category built on a lattice with a monoidal structure have a monoidal structure? ⋮ Fuzzy sets and geometric logic ⋮ The Skolem-Löwenheim theorem in toposes ⋮ Positive definite functions over regular f-rings and representations as sums of squares ⋮ Abelian groups in a topos: injectives and injective effacements ⋮ The Skolem-Löwenheim theorem in toposes. II ⋮ On the transfer of an abstract nullstellensatz

Cites Work

• Toposes without points
• Ultrafilters, ultrapowers and finiteness in a topos
• The model completion of the theory of commutative regular rings
• Introduction to model theory and to the metamathematics of algebra