Preservation theorems for limits of structures and global sections of sheaves of structures
From MaRDI portal
Publication:1247423
DOI10.1007/BF01173845zbMATH Open0379.02020MaRDI QIDQ1247423FDOQ1247423
Authors: Hugo Volger 
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) Free algebras (08B20) General logic (03B99) Other classical first-order model theory (03C68) Model theory (03C99)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
- 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
- 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)
