Properties preserved under algebraic constructions
HTML articles powered by AMS MathViewer
- by R. C. Lyndon PDF
- Bull. Amer. Math. Soc. 65 (1959), 287-299
References
- K. I. Appel, Horn sentences in identity theory, J. Symbolic Logic 24 (1959), 306–310. MR 132691, DOI 10.2307/2963901
- E. W. Beth, Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev, Nederl. Akad. Wetensch. Proc. Ser. A. 56 = Indagationes Math. 15 (1953), 66–71. MR 0053043, DOI 10.1016/S1385-7258(53)50010-1
- Kurt Bing, On arithmetical classes not closed under direct union, Proc. Amer. Math. Soc. 6 (1955), 836–846. MR 72086, DOI 10.1090/S0002-9939-1955-0072086-0 G. Birkhoff, 1935. On the structure of abstract algebras, Proc. Cambridge Philos. Soc. vol. 31, p. 433. C. C. Chang, 1956. On the unions of chains of models, Bull. Amer. Math. Soc. vol. 62, p. 598.
- 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 C. C. Chang and A. C. Davis (Morel), 1956. Arithmetical classes closed under direct product, Bull. Amer. Math. Soc. vol. 62, p. 411.
- C. C. Chang and Anne C. Morel, On closure under direct product, J. Symbolic Logic 23 (1958), 149–154. MR 104606, DOI 10.2307/2964395
- William Craig, Linear reasoning. A new form of the Herbrand-Gentzen theorem, J. Symbolic Logic 22 (1957), 250–268. MR 104564, DOI 10.2307/2963593
- William Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, J. Symbolic Logic 22 (1957), 269–285. MR 104565, DOI 10.2307/2963594 T. E. Frayne, D. S. Scott and A. Tarski, 1958. Reduced products, Notices Amer. Math. Soc. vol. 5, p. 673.
- Leon Henkin, Some interconnections between modern algebra and mathematical logic, Trans. Amer. Math. Soc. 74 (1953), 410–427. MR 55287, DOI 10.1090/S0002-9947-1953-0055287-X
- Leon Henkin, Two concepts from the theory of models, J. Symbolic Logic 21 (1956), 28–32. MR 75895, DOI 10.2307/2268482
- Alfred Horn, On sentences which are true of direct unions of algebras, J. Symbolic Logic 16 (1951), 14–21. MR 40233, DOI 10.2307/2268661
- P. Jordan, Zur Axiomatik der Verknüpfungsbereiche, Abh. Math. Sem. Univ. Hamburg 16 (1949), no. nos. 1-2, 54–70 (German). MR 30933, DOI 10.1007/BF02941086 C. R. Karp, 1958. Formalizations of functional languages with wffs of infinite length, Notices Amer. Math. Soc. vol. 5, p. 172. H. J. Keisler, 1958. The theory of models with generalized atomic formulas, I and II, Notices Amer. Math. Soc. vol. 5, pp. 676, 621. S. Kochen, 1958. Filtration systems, I and II, Notices Amer. Math. Soc. vol. 5, pp. 67, 671.
- 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ś, 1955b. Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres, Studies in Logic and Foundations of Mathematics, North Holland, Amsterdam, p. 98.
- J. Łoś and R. Suszko, On the infinite sums of models, Bull. Acad. Polon. Sci. Cl. III. 3 (1955), 201–202. MR 0072072 R. C. Lyndon, 1951. Review of Horn, 1951, J. Symb. Logic vol. 16, p. 216. R. C. Lyndon, 1957a. On positive formulas in the predicate logic, Bull. Amer. Math. Soc. vol. 63, p. 282. R. C. Lyndon, 1957b. On positive classes of relational systems and algebras, Bull. Amer. Math. Soc. vol. 63, p. 282. R. C. Lyndon, 1957c. On special Horn sentences, Bull. Amer. Math. Soc. vol. 63, p. 356. R. C. Lyndon, 1957d. On subdirect products of relational systems, Bull. Amer. Math. Soc. vol. 63, p. 356. R. C. Lyndon, 1958a. A semantic Herbrand-Gentzen lemma, Notices Amer. Math. Soc. vol. 5, p. 464. R. C. Lyndon, 1958b. Direct products of algebras, Notices Amer. Math. Soc. vol. 5, p. 848.
- Roger C. Lyndon, An interpolation theorem in the predicate calculus, Pacific J. Math. 9 (1959), 129–142. MR 106825, DOI 10.2140/pjm.1959.9.129
- Roger C. Lyndon, Properties preserved under homomorphism, Pacific J. Math. 9 (1959), 143–154. MR 108441, DOI 10.2140/pjm.1959.9.143
- Roger C. Lyndon, Properties preserved in subdirect products, Pacific J. Math. 9 (1959), 155–164. MR 107606, DOI 10.2140/pjm.1959.9.155
- R. C. Lyndon, Existential Horn sentences, Proc. Amer. Math. Soc. 10 (1959), 994–998. MR 115914, DOI 10.1090/S0002-9939-1959-0115914-6
- A. I. Mal′cev, Subdirect products of models, Akad. Nauk SSSR (N.S.) 109 (1956), 264–266 (Russian). MR 0086770
- E. Marczewski, Sur les congruences et les propriétés positives d’algèbres abstraites, Colloq. Math. 2 (1951), 220–228 (1952) (French). MR 50564, DOI 10.4064/cm-2-3-4-220-228
- J. C. C. McKinsey, The decision problem for some classes of sentences without quantifiers, J. Symbolic Logic 8 (1943), 61–76. MR 8991, DOI 10.2307/2268172 A. C. Morel, D. S. Scott and A. Tarski, 1958. Reduced products and the compactness theorem, Notices Amer. Math. Soc. vol. 5, p. 674.
- Arnold Oberschelp, Über die Axiomeprodukt-abgeschlossener arithmetischer Klassen, Arch. Math. Logik Grundlag. 4 (1958), 95–123 (German). MR 107605, DOI 10.1007/BF01973146
- Abraham Robinson, On the metamathematics of algebra, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951. MR 0046322
- Abraham Robinson, Note on a problem of L. Henkin, J. Symbolic Logic 21 (1956), 33–35. MR 75896, DOI 10.2307/2268483
- A. Seidenberg, Comments on Lefschetz’s principle, Amer. Math. Monthly 65 (1958), 685–690. MR 98746, DOI 10.2307/2308709
- Alfred Tarski, Some notions and methods on the borderline of algebra and metamathematics, Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, vol. 1, Amer. Math. Soc., Providence, R.I., 1952, pp. 705–720. MR 0045068
- 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, DOI 10.1016/S1385-7258(54)50074-0 A. Tarski, 1958. Some model-theoretic results concerning weak second-order logic, Notices Amer. Math. Soc. vol. 5, p. 673.
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121 R. L. Vaught, 1954. On sentences holding in direct products of relational systems, Proceedings of the International Congress of Mathematicians, Amsterdam, vol. 2, p. 409.
- Gonzalo Zubieta R., Arithmetical classes defined without equality, Bol. Soc. Mat. Mexicana 2 (1957), 45–53 (Spanish). MR 0095771
Additional Information
- Journal: Bull. Amer. Math. Soc. 65 (1959), 287-299
- DOI: https://doi.org/10.1090/S0002-9904-1959-10321-9
- MathSciNet review: 0111687