Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423): Difference between revisions

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