Countable approximations and Löwenheim-Skolem theorems
- 31 May 1977
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 11 (1) , 57-103
- https://doi.org/10.1016/0003-4843(77)90010-9
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974
- Mostowski's collapsing function and the closed unbounded filterFundamenta Mathematicae, 1974
- Countable type local theorems in algebraJournal of Algebra, 1973
- Some combinatorial problems concerning uncountable cardinalsAnnals of Mathematical Logic, 1973
- Global definability theory in 𝐿_{𝜔₁𝜔}Bulletin of the American Mathematical Society, 1973
- Herbrand uniformity theorems for infinitary languagesJournal of the Mathematical Society of Japan, 1972
- Löwenheim-Skolem and interpolation theorems in infinitary languagesBulletin of the American Mathematical Society, 1972
- Infinitary analogs of theorems from first order model theoryThe Journal of Symbolic Logic, 1971
- On languages with non-homogeneous strings of quantifiersIsrael Journal of Mathematics, 1970
- Universal classes in infinitary languagesDuke Mathematical Journal, 1969