Per Lindström. On model-completeness. Theoria , vol. 30 , pp. 183–196

Journal of Symbolic Logic 35 (4):587 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271475

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Per Lindström. On extensions of elementary logic. Theoria , vol. 35 , pp. 1–11.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (1):183.
Per Lindström. On characterizability in Lω1ω0. Theoria , vol. 32 , pp. 165–171.J. Malitz - 1970 - Journal of Symbolic Logic 35 (4):587.
Per Lindström. On relations between structures. Theoria , vol. 32 , pp. 172–185.G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (3):515.
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.G. Fuhrken - 1970 - Journal of Symbolic Logic 34 (4):650-650.
Review: Per Lindstrom, On Model-Completeness. [REVIEW]J. Malitz - 1970 - Journal of Symbolic Logic 35 (4):587-587.
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 , pp. 571–576.A. Oberschelp - 1971 - Journal of Symbolic Logic 36 (2):339.
J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 , pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 , pp. 691–700. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 61 , pp. 177–183; also Indagationes mathematicae, vol. 20 , pp. 177-183. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603-604.
Ayer A. J.. Truth. Revue Internationale de philosophic, vol. 7 , pp. 183–200.Carl G. Hempel - 1955 - Journal of Symbolic Logic 20 (1):58-58.
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.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,091,268)

6 months
12 (#306,613)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references