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

[1]  Michael Makkai,et al.  On the model theory of denumerably long formulas with finite strings of quantifiers , 1969, Journal of Symbolic Logic.

[2]  Brian A. Davey,et al.  Sheaf spaces and sheaves of universal algebras , 1973 .

[3]  Paul D. Bacsich,et al.  Syntactic characterisations of amalgamation, convexity and related properties , 1974, Journal of Symbolic Logic.

[4]  K. Kaiser,et al.  On some properties a projective model class passes on to the generated axiomatic class , 1974 .

[5]  D. Ellerman,et al.  Sheaves of structures and generalized ultraproducts , 1974 .

[6]  J. Kennison.  Integral domain type representations in sheaves and other topoi , 1976 .

[7]  H. Jerome Keisler.  Some Applications of Infinitely Long Formulas , 1965, J. Symb. Log..

[8]  Rings, fields, and spectra , 1977 .

[9]  Wilfrid Hodges,et al.  A Normal Form for Algebraic Constructions , 1974 .

[10]  P. Bacsich.  The strong amalgamation property , 1975 .

[11]  Paul C. Eklof,et al.  Model-completions and modules , 1971 .

[12]  Orville Keane.  Abstract Horn theories , 1975 .

[13]  W. Wheeler.  Model-companions and definability in existentially complete structures , 1976 .

[14]  J. Isbell.  General Functorial Semantics, I , 1972 .

[15]  Angus Macintyre.  Model-completeness for sheaves of structures , 1973 .

[16]  J. Kennison.  Structure and costructure for strongly regular rings , 1974 .

[17]  H. Jerome Keisler,et al.  Theory of Models with Generalized Atomic Formulas , 1960, J. Symb. Log..

[18]  A. Robinson.  Introduction to model theory and to the metamathematics of algebra , 1964 .

[19]  Joseph Michael Weinstein.  First order properties preserved by direct product , 1965 .

[20]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[21]  J. Isbell.  Functorial implicit operations , 1973 .

[22]  Michael O. Rabin,et al.  Classes of models and sets of sentences with the intersection property , 1962 .

[23]  David W. Kueker,et al.  Core structures for theories , 1975 .

[24]  Stephen D. Comer.  Monadic Algebras with finite degree , 1975 .

[25]  Angus Macintyre,et al.  ℵ0-Categoricity for rings without nilpotent elements and for boolean structures , 1976 .

[26]  R. Fittler.  Categories of models with initial objects , 1969 .

[27]  S. Comer.  Complete and model-complete theories of monadic algebras , 1976 .

[28]  R. L. Vaught,et al.  A Note on Theories with Selectors , 1959 .

[29]  P. Bacsich.  Model Theory of Epimorphisms , 1974, Canadian Mathematical Bulletin.

[30]  Richard Mansfield.  Sheaves and Normal Submodels , 1977, J. Symb. Log..

[31]  Paul D. Bacsich,et al.  Defining algebraic elements , 1973, Journal of Symbolic Logic.

[32]  M. Richter.  Limites in Kategorien von Relationalsystemen , 1971 .

[33]  Tsuyoshi Fujiwara.  On the construction of the least universal Horn class containing a given class , 1971 .

[34]  Volker Weispfenning.  Model-completeness and elimination of quantifiers for subdirect products of structures , 1975 .