Sheaves and Boolean valued model theory

DOI10.2307/2273725MaRDI QIDQ4198736zbMATHOpenAlexFDO

Authors 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)

Cites work

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

Cited in

(16)

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

This page was built for publication: Sheaves and Boolean valued model theory

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