Löwenheim-Skolem and interpolation theorems in infinitary languages
Open Access
- 1 January 1972
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 78 (2) , 211-215
- https://doi.org/10.1090/s0002-9904-1972-12921-5
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 4 references indexed in Scilit:
- ON THE DENUMERABLE MODELS OF THEORIES WITH EXTRA PREDICATESPublished by Elsevier ,2014
- Formulas with linearly ordered quantifiersPublished by Springer Nature ,1968
- Some remarks on the model theory of infinitary languagesPublished by Springer Nature ,1968
- Remarks on predicate logic with infinitely long expressionsColloquium Mathematicum, 1958