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

DOI10.1007/BF01173845zbMATH Open0379.02020MaRDI QIDQ1247423FDOQ1247423

Publication date: 1979

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

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

GLOBAL SECTIONS OF SHEAVES LIMITS OF STRUCTURES PRESERVATION

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

Cites Work

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

Cited In (13)

ALGEBRAIC EXPANSIONS OF LOGICS
More on orthogonality in locally presentable categories
Some Results on Locally Finitely Presentable Categories
On the fullness of certain functors
When is Flatness Coherent?
Partial Horn logic and Cartesian categories
On reflective subcategories of varieties
Semantical conditions for the definability of functions and relations
Variations on the bagdomain theme
On a problem of Gabriel and Ulmer
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
Algebraically expandable classes of implication algebras
Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

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

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