A unifying approach to theorems on preservation and interpolation for binary relations between structures

[1]  J. Flum,et al.  First-order logic and its extensions , 1975 .

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

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

[4]  J. Ressayre,et al.  Boolean models and infinitary first order languages , 1973 .

[5]  J. A. Makowsky.  Some observations on Uniform Reduction for properties invariant on the range of definable relations , 1978 .

[6]  H. Rogers,et al.  Descriptive Set Theory in L ω 1 ω , 1982 .

[7]  Michael Makkai.  Svenonius sentences and Lindström's theory on preservation theorems , 1972 .

[8]  H. J. Keisler,et al.  Formulas with linearly ordered quantifiers , 1968 .

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

[10]  R. Lyndon.  PROPERTIES PRESERVED UNDER HOMOMORPHISM , 1959 .

[11]  Victor Harnik.  Approximation Theorems and Model Theoretic Forcing , 1976, J. Symb. Log..

[12]  K. Kaiser,et al.  Some remarks on projective model classes and the interpolation theorem , 1972 .

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

[14]  P. Cohn.  The Class of Rings Embeddable in Skew Fields , 1974 .

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

[16]  Michael Makkai,et al.  Vaught sentences and Lindström's regular relations , 1973 .

[17]  S. Feferman.  Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures , 1974 .