Sheaves and Boolean valued model theory

DOI10.2307/2273725zbMATH Open0411.03028OpenAlexW2087424958MaRDI QIDQ4198736FDOQ4198736

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
• Toposes without points
• The model completion of the theory of commutative regular rings
• Ultrafilters, ultrapowers and finiteness in a topos

Cited In (16)

• On the transfer of an abstract nullstellensatz
• Comprehensive Gröbner bases and regular rings
• Preordered sets valued in a GL-monoid
• 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?
• Positive definite functions over regular f-rings and representations as sums of squares
• Fuzzy sets and geometric logic
• Rings and sheaves
• Hilbert's Nullstellensatz revisited
• Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
• Title not available (Why is that?)
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Abelian groups in a topos: injectives and injective effacements
• The Skolem-Löwenheim theorem in toposes. II
• The Skolem-Löwenheim theorem in toposes
• Dimension of Boolean valued lattices and 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)