Preservation theorems for limits of structures and global sections of sheaves of structures
From MaRDI portal
Publication:1247423
DOI10.1007/BF01173845zbMath0379.02020MaRDI QIDQ1247423
Publication date: 1979
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/172811
Model-theoretic algebra (03C60) Model theory (03C99) Free algebras (08B20) General logic (03B99) Other classical first-order model theory (03C68)
Related Items
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