Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

Properties preserved under algebraic constructions


Author: R. C. Lyndon
Journal: Bull. Amer. Math. Soc. 65 (1959), 287-299
DOI: https://doi.org/10.1090/S0002-9904-1959-10321-9
MathSciNet review: 0111687
Full-text PDF

References | Additional Information

References [Enhancements On Off] (What's this?)

  • K. I. Appel, 1958. Horn sentences in identity theory, Notices Amer. Math. Soc. vol. 6, p. 343. MR 132691
  • E. W. Beth, 1953. On Padoa's method in the theory of definition, Indag. Math. vol. 15, p. 66. MR 53043
  • K. Bing, 1955. On arithmetical classes not closed under direct union, Proc. Amer. Math. Soc. vol. 6, p. 836. MR 72086
  • 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, 1959. On unions of chains of models, Proc. Amer. Math. Soc. vol. 10, p. 120. MR 103812
  • 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 A. C. Morel, 1958. On closure under direct product, J. Symb. Logic vol. 23, p. 149. MR 104606
  • W. Craig, 1957a. Linear reasoning. A new form of the Herbrand-Gentzen theorem, J. Symb. Logic vol. 22, p. 250. MR 104564
  • W. Craig, 1957b. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, J. Symb. Logic vol. 22, p. 269. MR 104565
  • T. E. Frayne, D. S. Scott and A. Tarski, 1958. Reduced products, Notices Amer. Math. Soc. vol. 5, p. 673.
  • L. Henkin, 1953. Some interconnections between modern algebra and mathematical logic, Trans. Amer. Math. Soc. vol. 74, p. 410. MR 55287
  • L. Henkin, 1956. Two concepts from the theory of models, J. Symb. Logic vol. 21, p. 28. MR 75895
  • A. Horn, 1951. On sentences which are true of direct unions of algebras, J. Symb. Logic vol. 16, p. 14. MR 40233
  • P. Jordan, 1949. Zur Axiomatik der Verknüpfungsbereiche, Abh. Math. Sem. Univ. Hamburg vol. 16, p. 54. MR 30933
  • 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ś, 1955a. On the extending of models, I, Fund. Math. vol. 42, p. 38. MR 72071
  • 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, 1955. On the infinite sum of models, Bull. Acad. Polon. Sci. Cl. III vol. 3, p. 201. MR 72072
  • 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.
  • R. C. Lyndon, 1959a. An interpolation theorem in the predicate calculus, Pacific J. Math. vol. 9, p. 129. MR 106825
  • R. C. Lyndon, 1959b. Properties preserved under homomorphism, Pacific J. Math. vol. 9, p. 143. MR 108441
  • R. C. Lyndon, 1959c. Properties preserved in subdirect products, Pacific J. Math. vol. 9, p. 155. MR 107606
  • R. C. Lyndon, Existential Horn sentences, to appear in Proc. Amer. Math. Soc. MR 115914
  • A. I. Malcev, 1956. Subdirect products of models, Dokl. Akad. Nauk SSSR vol. 109, p. 264. MR 86770
  • E. Marczewski, 1951. Sur les congruences et les propriétés positives d'algèbres abstraites, Colloq. Math. vol. 2, p. 220. MR 50564
  • J. C. C. McKinsey, 1943. The decision problem for some classes of sentences without quantifiers, J. Symb. Logic vol. 8, p. 61. MR 8991
  • A. C. Morel, D. S. Scott and A. Tarski, 1958. Reduced products and the compactness theorem, Notices Amer. Math. Soc. vol. 5, p. 674.
  • A. Oberschelp, 1958. Über die Axiome produkt-abgeschlossener arithmetischer Klassen, Archiv für Math. Logik und Grundlagenforschung vol. 4, p. 95. MR 107605
  • A. Robinson, 1950. On the metamathematics of algebra, Studies in Logic and Foundations of Mathematics, North Holland, Amsterdam. MR 46322
  • A. Robinson, 1956. Note on a problem of Henkin, J. Symb. Logic vol. 21, p. 33. MR 75896
  • A. Seidenberg, 1958. Comments on Lefschetz's Principle, Amer. Math. Monthly vol. 65, p. 685. MR 98746
  • A. Tarski, 1950. Some notions and methods on the borderline of algebra and metamathematics, Proceedings of the International Congress of Mathematicians, Cambridge, vol. 1, p. 705. MR 45068
  • A. Tarski, 1954. Contributions to the theory of models, I and II, Indag. Math. vol. 16, pp. 572, 582. MR 66301
  • A. Tarski, 1958. Some model-theoretic results concerning weak second-order logic, Notices Amer. Math. Soc. vol. 5, p. 673.
  • A. Tarski and R. L. Vaught, 1957. Arithmetical extensions of relational systems, Compositio Math. vol. 13, p. 81. 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.
  • R. G. Zubieta, 1957. Clases matematicas definadas sin igualdad, Bol. Soc. Mat. Mex. vol. 2, p. 45. MR 95771


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1959-10321-9

American Mathematical Society