Model theory for infinitary logic

Amsterdam,: North-Holland Pub. Co. (1971)
  Copy   BIBTEX

Abstract

Provability, Computability and Reflection

Categories

Keywords

Reprint years

Call number

QA9.K33

ISBN(s)

0720422582

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,010

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

Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
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.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Model theory of infinitary languages.M. A. Dickmann - 1970 - [Aarhus, Denmark,: Universitet, Matematisk institut].
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors.Carol Karp & D. W. Kueker (eds.) - 1975 - New York: Springer Verlag.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Infinitary Methods in Finite Model Theory. [REVIEW]Scott Weinstein, Henry Towsner & Steven Lindell - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 305-318.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Infinitary analogs of theorems from first order model theory.Jerome Malitz - 1971 - Journal of Symbolic Logic 36 (2):216-228.

Analytics

Added to PP
2009-01-28

Downloads
97 (#232,013)

6 months
2 (#1,359,747)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Possible predicates and actual properties.Roy T. Cook - 2019 - Synthese 196 (7):2555-2582.
Inexpressible properties and propositions.Thomas Hofweber - 2008 - In Dean W. Zimmerman, Oxford Studies in Metaphysics. Oxford University Press. pp. 155-206.

View all 68 citations / Add more citations

References found in this work

No references found.

Add more references