Skip to Main Content

Bulletin of the American Mathematical Society

Published by the American Mathematical Society, the Bulletin of the American Mathematical Society (BULL) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

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

The 2020 MCQ for Bulletin of the American Mathematical Society is 0.47.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Löwenheim-Skolem and interpolation theorems in infinitary languages
HTML articles powered by AMS MathViewer

by David W. Kueker PDF
Bull. Amer. Math. Soc. 78 (1972), 211-215
References
    1. C. C. Chang, "Some remarks on the model theory of infinitary languages, " in The syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1968, pp. 36-63. 2. H. J. Keisler, "Formulas with linearly ordered quantifiers, " in The syntax and semantics of infinitary languages, Springer-Verlag, Berlin and New York, 1968, pp. 96-130.
  • Lars Svenonius, On the denumerable models of theories with extra predicates, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 376–389. MR 0209138
  • Gaisi Takeuti, The $\Pi _{1}{}^{1}$-comprehension schema and $\omega$-rules, Proceedings of the Summer School in Logic (Leeds, 1967) Springer, Berlin, 1968, pp. 303–331. MR 0253874
  • A. Tarski, Remarks on predicate logic with infinitely long expressions, Colloq. Math. 6 (1958), 171–176. MR 99915, DOI 10.4064/cm-6-1-171-176
Similar Articles
  • Retrieve articles in Bulletin of the American Mathematical Society with MSC (1970): 02H10, 02B20, 02B25
  • Retrieve articles in all journals with MSC (1970): 02H10, 02B20, 02B25
Additional Information
  • Journal: Bull. Amer. Math. Soc. 78 (1972), 211-215
  • MSC (1970): Primary 02H10, 02B20, 02B25
  • DOI: https://doi.org/10.1090/S0002-9904-1972-12921-5
  • MathSciNet review: 0290942