Infinitary analogs of theorems from first order model theory

Journal of Symbolic Logic 36 (2):216-228 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270256

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Jerome Malitz. Universal classes in infinitary languages. Duke mathematical journal, vol. 36 , pp. 621–630.Jorg Flum - 1974 - Journal of Symbolic Logic 39 (2):336.
Malitz Jerome. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp. [REVIEW]P. Eklof - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Keisler H. Jerome. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London 1971, x + 208 pp. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
A Complete First-Order Logic with Infinitary Predicates.H. J. Keisler - 1966 - Journal of Symbolic Logic 31 (2):269-269.
Menachem Magidor and Jerome Malitz. Compact extensions of L . Annals of mathematical logic, vol. 11 , pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L. The journal of symbolic logic, vol. 44 , pp. 507–521. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
Löwenheim-Skolem and Interpolation Theorems in Infinitary Languages.David W. Kueker & K. Jon Barwise - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Model theory under the axiom of determinateness.Mitchell Spector - 1985 - Journal of Symbolic Logic 50 (3):773-780.
Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
Directed Sets and Malitz‐Cauchy‐Completions.Roland Hinnion - 1997 - Mathematical Logic Quarterly 43 (4):465-484.

Analytics

Added to PP
2009-01-28

Downloads
60 (#370,593)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
Countable approximations and Löwenheim-Skolem theorems.David W. Kueker - 1977 - Annals of Mathematical Logic 11 (1):57.

View all 10 citations / Add more citations

References found in this work

Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.

Add more references