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

Cites work

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

Cited in

(12)

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

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)