Model-completeness for sheaves of structures
From MaRDI portal
Publication:4078018
DOI10.4064/fm-81-1-73-89zbMath0317.02065OpenAlexW1542760485MaRDI QIDQ4078018
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214657
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Ordered rings, algebras, modules (06F25)
Related Items (29)
Quantifier elimination in discriminator varieties ⋮ Logic in Category Theory ⋮ Model companion and model completion of theories of rings ⋮ Rings and sheaves ⋮ Sheaf Constructions and Their Elementary Properties ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Existentially Complete Abelian Lattice-Ordered Groups ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ On von Neumann regular rings with an automorphism ⋮ Sheaves and duality ⋮ Unnamed Item ⋮ A generalization of von Neumann regularity ⋮ 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 ⋮ Decidability of the elementary theory of universal semifields of the second kind ⋮ Model complete theories of trees ⋮ Positive definite functions over regular f-rings and representations as sums of squares ⋮ Boolean products of real closed valuation rings and fields ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Model-companions and definability in existentially complete structures ⋮ Representations of MV-algebras by sheaves ⋮ Sheaves of Metric Structures ⋮ Boolean products of lattices ⋮ Commutative Regular Rings with Integral Closure ⋮ Completions of orthomodular lattices. II ⋮ Model-completeness of a theory and evaluation of formulas ⋮ BL-global representations
This page was built for publication: Model-completeness for sheaves of structures
