Model-completeness for sheaves of structures

Cited in

(32)

Quantifier elimination in discriminator varieties
Model-completeness and elimination of quantifiers for subdirect products of structures
Ultrafilters, ultrapowers and finiteness in a topos
Boolean powers
\(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
Preservation theorems for limits of structures and global sections of sheaves of structures
Model-companions and definability in existentially complete structures
Completions of orthomodular lattices. II
Sheaves and duality
Boolean products of lattices
Rings and sheaves
Model complete theories of trees
Model companion and model completion of theories of rings
On von Neumann regular rings with an automorphism
A generalization of von Neumann regularity
Sheaves of Metric Structures
Logic in category theory
Representations of MV-algebras by sheaves
Existentially Complete Abelian Lattice-Ordered Groups
scientific article; zbMATH DE number 3762055 (Why is no real title available?)
Commutative Regular Rings with Integral Closure
Sheaf Constructions and Their Elementary Properties
Decidability of the elementary theory of universal semifields of the second kind
Positive definite functions over regular f-rings and representations as sums of squares
BL-global representations
Boolean products of real closed valuation rings and fields
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
Elimination of quantifiers for a theory of real closed rings
On elementary equivalence of real semigroups of preordered rings
Ultraproducts of projectable f-rings
Model-completeness of a theory and evaluation of formulas
A uniform method for proving lower bounds on the computational complexity of logical theories

This page was built for publication: Model-completeness for sheaves of structures

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