Preservation theorems for limits of structures and global sections of sheaves of structures

DOI10.1007/BF01173845zbMath0379.02020MaRDI QIDQ1247423

Hugo Volger

Publication date: 1979

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/172811

zbMATH Keywords

GLOBAL SECTIONS OF SHEAVESLIMITS OF STRUCTURESPRESERVATION

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (03C99) Free algebras (08B20) General logic (03B99) Other classical first-order model theory (03C68)

Related Items (13)

ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS ⋮ On reflective subcategories of varieties ⋮ Semantical conditions for the definability of functions and relations ⋮ Variations on the bagdomain theme ⋮ Unnamed Item ⋮ Some Results on Locally Finitely Presentable Categories ⋮ Partial Horn logic and Cartesian categories ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Syntactic characterizations of closure under pullbacks and of locally polypresentable categories ⋮ On a problem of Gabriel and Ulmer ⋮ On the fullness of certain functors ⋮ When is Flatness Coherent? ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structure and costructure for strongly regular rings
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Monadic algebras with finite degree
• \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
• Rings, fields, and spectra
• Model-companions and definability in existentially complete structures
• Cofinal simplicity and algebraic closedness
• On the construction of the least universal Horn class containing a given class
• Functorial implicit operations
• Introduction to model theory and to the metamathematics of algebra
• A note on theories with selectors
• Theory of models with generalized atomic formulas
• General Functorial Semantics, I
• Sheaves of structures and generalized ultraproducts
• Syntactic characterisations of amalgamation, convexity and related properties
• Model Theory of Epimorphisms
• Model-completeness for sheaves of structures
• Core structures for theories
• Complete and model-complete theories of monadic algebras
• The strong amalgamation property
• Nullstellensätze — A Model Theoretic Framework
• A characterization of companionable, universal theories
• Sheaves and normal submodels
• On some properties a projective model class passes on to the generated axiomatic class
• Some applications of infinitely long formulas
• Model-completions and modules
• Limites in Kategorien von Relationalsystemen
• On the model theory of denumerably long formulas with finite strings of quantifiers
• Defining algebraic elements

This page was built for publication: Preservation theorems for limits of structures and global sections of sheaves of structures