×

A unifying approach to theorems on preservation and interpolation for binary relations between structures. (English) Zbl 0482.03012


MSC:

03C40 Interpolation, preservation, definability
08A02 Relational systems, laws of composition
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Armbrust, M., Kaiser, K.: Some remarks on projective model classes. Math. Ann.197, 5–8 (1972). · Zbl 0222.02059 · doi:10.1007/BF01427948
[2] Chang, C.C., Keisler, H.J.: Model theory. Amsterdam: North-Holland 1973. · Zbl 0276.02032
[3] Cohn, P.M.: The class of rings embeddable into skew fields. Bull. Math. Soc. (London)6, 147–148 (1974). · Zbl 0288.16010
[4] Feferman, S.: Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures. Fund. Math.82, 153–165 (1974). · Zbl 0296.02026
[5] Flum, J.: First order logic and its extensions. In: Müller, G.H. et al. (eds.): Logic Conference Kiel 1974. In: Lecture Notes in Mathematics, Vol. 499. Berlin, Heidelberg, New York: Springer 1975. · Zbl 0342.02007
[6] Flum, J.: Distributive normal forms. Freiburg 1976 (preprint).
[7] Galvin, F.: Horn sentences. Ann. Math. Logic1, 390–422 (1970). · Zbl 0206.27801 · doi:10.1016/0003-4843(70)90002-1
[8] Harnik, V.: Approximation theorems and model theoretic forcing. J. Symb. Logic41, 59–72 (1976). · Zbl 0355.02011 · doi:10.1017/S0022481200051768
[9] Hintikka, J.: Distributive normalforms in the calculus of predicates. Acta Philos. Fennica6, 1–71 (1953).
[10] Keisler, H.J.: Finite approximations of infinitely long formulas. In: Addison, J.W. et al. (eds.): Theory of models. Proc. Intern. Symp. Berkeley 1963. Amsterdam: North-Holland 1965.
[11] Keisler, H.J.: Some applications of infinitely long formulas. J. Symb. Logic30, 339–349 (1965). · Zbl 0158.01301 · doi:10.2307/2269622
[12] Keisler, H.J.: Formulas with linearly ordered quantifiers. In: Barwise, J. (ed.): Syntax and semantics of infinitary languages. In: Lecture Notes in Mathematics, Vol. 72. Berlin, Heidelberg, New York: Springer 1968. · Zbl 0182.01003
[13] Lindström, P.: On relations between structures. Theoria32, 172–185 (1966). · Zbl 1230.03069 · doi:10.1111/j.1755-2567.1966.tb00599.x
[14] Lyndon, R.C.: Properties preserved under homomorphism. Pacific J. Math.9, 143–154 (1959). · Zbl 0093.01101 · doi:10.2140/pjm.1959.9.143
[15] Makkai, M.: On the model theory of denumerably long formulas with finite strings of quantifiers. J. Symb. Logic34, 437–459 (1969). · Zbl 0235.02050 · doi:10.2307/2270908
[16] Makkai, M.: Svenonius sentences and Lindström’s theory on preservation theorems. Fund. Math.73, 219–233 (1972). · Zbl 0248.02021
[17] Makkai, M.: Vaught sentences and Lindström’s regular relations. In: Mathias, A.R.D., Rogers, H. (eds.): Cambridge Summer School in Math. Logic. In: Lecture Notes in Mathematics, Vol. 337. Berlin, Heidelberg, New York: Springer 1973. · Zbl 0268.02009
[18] Makovsky, J.A.: Some observations on uniform reduction for properties invariant on the range of definable relations. To appear in Fund. Math. Berlin 1975 (preprint).
[19] Omarov, A.I.: Filtered products of models (Russian: O fil’trovannyh proizvedenijah modelei). Algebra i Logika6, 77–89 (1967).
[20] Park, D.M.R.: Set theoretic constructions in model theory. Dissertation, MIT 1964.
[21] Rabin, M.O.: Classes of models and sets of sentences with the intersection property. Ann. Sci. Univ. Clermont7, 39–53 (1962).
[22] Ressayre, J.P.: Boolean models and infinitary first order languages. Ann. Math. Logic6, 41–92 (1973). · Zbl 0288.02013 · doi:10.1016/0003-4843(73)90003-X
[23] Svenonius, L.: On denumerable models of theories with extra predicates. In: Addison, J.W. et al. (eds.): Theory of models. Proc. Intern. Symp. Berkeley 1963. Amsterdam: North-Holland 1965. · Zbl 0156.02502
[24] Vaught, R.L.: Descriptive set theory inL({\(\omega\)} 1,{\(\omega\)}). In: Mathias, A.R.D., Rogers, H. (eds.): Cambridge Summer School in Math. Logic. In: Lecture Notes in Mathematics, Vol. 337. Berlin, Heidelberg, New York: Springer 1973. · Zbl 0308.02054
[25] Volger, H.: Preservation theorems in model theory. Habilitationsschrift, Universität Tübingen 1978.
[26] Weinstein, J.M.: First-order properties preserved by direct product. Dissertation, University of Wisconsin 1965.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.