On arithmetical classes not closed under direct union
HTML articles powered by AMS MathViewer
- by Kurt Bing PDF
- Proc. Amer. Math. Soc. 6 (1955), 836-846 Request permission
References
- 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
- 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 R. C. Lyndon, Review of 2, J. Symbolic Logic vol. 16 (1951) pp. 216-217.
- 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 —, Universal arithmetical classes of mathematical systems, Bull. Amer. Math. Soc. Abstract 59-4-500.
Additional Information
- © Copyright 1955 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 6 (1955), 836-846
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9939-1955-0072086-0
- MathSciNet review: 0072086