Unions of relational systems
HTML articles powered by AMS MathViewer
- by H. Jerome Keisler PDF
- Proc. Amer. Math. Soc. 15 (1964), 540-545 Request permission
References
- C. C. Chang, On unions of chains of models, Proc. Amer. Math. Soc. 10 (1959), 120–127. MR 103812, DOI 10.1090/S0002-9939-1959-0103812-3 R. Fraïssé, Sur les rapports entre la théorie des relations et la sémantique au sens de A. Tarski, Applications scientifiques de la logique mathématique, Colloque de logique mathématique, Paris, 1954, p. 95.
- Leon Henkin, Two concepts from the theory of models, J. Symbolic Logic 21 (1956), 28–32. MR 75895, DOI 10.2307/2268482
- H. Jerome Keisler, Theory of models with generalized atomic formulas, J. Symbolic Logic 25 (1960), 1–26. MR 130169, DOI 10.2307/2964333 —, On unions of relational systems, Abstract 556-14, Notices Amer. Math. Soc. 6 (1959), 167.
- J. Łoś, On the extending of models. I, Fund. Math. 42 (1955), 38–54. MR 72071, DOI 10.4064/fm-42-1-38-54
- J. Łoś and R. Suszko, On the extending of models. IV, Fund. Math. 44 (1957), 52–60. MR 89813, DOI 10.4064/fm-44-1-52-60
- Michael Morley and Robert Vaught, Homogeneous universal models, Math. Scand. 11 (1962), 37–57. MR 150032, DOI 10.7146/math.scand.a-10648
- Jan Mycielski, A characterisation of arithmetical classes, Bull. Acad. Polon. Sci. Cl. III 5 (1957), 1025–1027, LXXXVI (English, with Russian summary). MR 0093481
- Abraham Robinson, Note on a problem of L. Henkin, J. Symbolic Logic 21 (1956), 33–35. MR 75896, DOI 10.2307/2268483
- Abraham Robinson, Obstructions to arithmetical extension and the theorem of Øś and Suszko, Nederl. Akad. Wetensch. Proc. Ser. A 62 = Indag. Math. 21 (1959), 489–495. MR 0111682
- Alfred Tarski, Contributions to the theory of models. I, Nederl. Akad. Wetensch. Proc. Ser. A. 57 (1954), 572–581 = Indagationes Math. 16, 572–581 (1954). MR 0066301
- Robert L. Vaught, Remarks on universal classes of relational systems, Nederl. Akad. Wetensch. Proc. Ser. A. 57 = Indagationes Math. 16 (1954), 589–591. MR 0066304
Additional Information
- © Copyright 1964 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 15 (1964), 540-545
- MSC: Primary 02.50
- DOI: https://doi.org/10.1090/S0002-9939-1964-0164894-8
- MathSciNet review: 0164894