Abstract.
In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid models.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Chang, C.C.: Some remarks on the model theory of infinitary languages. In: The syntax and semantics of infinitary languages (J. Barwise, ed.), Springer Verlag Lect. Notes in Math. 72, 36–63 (1968)
Craig, W., Vaught, R.L.: Finite axiomatizability using additional predicates. Jour. of Symbolic Logic 30, 289–308 (1958)
Ebbinghaus, H. D.: On models with large automorphism groups. Archiv. Math. Logik 14, 179–197 (1971)
Ebbinghaus, H. D.: Extended logics: the general framework. Chap. II in Model theoretic logics (J. Barwise & S. Feferman, eds.), Springer Verlag, 1985
Ehrenfeucht, A., Mostowski, A.: Models of axiomatic theories admitting automorphisms. Fund. Math. 43, 50–68 (1956)
Gostanian, R., Hrbáček, K.: On the failure of the weak Beth property. Proceedings of the American Math. Society 58, 245–249 (1976)
Hodges, W.: Model built on linear orderings. In Orders: description and roles (M. Puzet & D. Richard, eds.), North Holland, Amsterdam, 1984, pp. 207–234
Hyttinen, T.: Model theory for infinite quantifier languages. Fundamenta Mathematicae 134, 125–142 (1990)
Lindström, P.: On extensions of elementary logic. Theoria 35, 1–11 (1969)
Malitz, J.: Infinitary analogs of theorems from first order model theory. Jour. of Symbolic Logic 36, 216–228 (1971)
Makowski, J. A.: Compactness, embeddings and definability. Chap. XVIII in Model Theoretic Logics (J. Barwise & S. Feferman, eds.), Springer Verlag, 1985
Morley, M.: Omitting classes of elements. In The theory of models (J. W. Addison, L. Henkin, A. Tarski, eds.), North Holland, Amsterdam, 1965, pp. 265–273
Mundici, D.: Interpolation, compactness and JEP in soft model theory. Archiv für Mathematische Logik und Grundlagenforchung 22, 61–67 (1982)
Otto, M.: Automorphism properties of stationary logic. Jour. of Symbolic Logic 57, 231–237 (1992)
Shelah, S.: Remarks in abstract model theory. Ann. Pure Appl. Logic 29, 255–288 (1985)
Shelah, S.: The theorems of Beth and Craig in abstract model theory, III, Δ-logics and infinitary logics. Israel J. Math. 69, 193–213 (1990)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Caicedo, X. Definability and automorphisms in abstract logics. Arch. Math. Logic 43, 937–945 (2004). https://doi.org/10.1007/s00153-004-0248-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0248-9