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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Model theory of infinitary languages.M. A. Dickmann - 1970 - [Aarhus, Denmark,: Universitet, Matematisk institut].
Model theoretic results for infinitely deep languages.Maaret Karttunen - 1983 - Studia Logica 42 (2-3):223 - 241.
Infinitary analogs of theorems from first order model theory.Jerome Malitz - 1971 - Journal of Symbolic Logic 36 (2):216-228.
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Weak definability in infinitary languages.Saharon Shelah - 1973 - Journal of Symbolic Logic 38 (3):399-404.
Infinitary languages.John Bell - manuscript
Incompactness in infinitary languages with respect to Boolean-valued interpretations.Attila Máté - 1971 - Szeged,: University of Szeged Bolyai Mathematical Institute.
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..

Analytics

Added to PP
2009-01-28

Downloads
87 (#187,940)

6 months
12 (#174,629)

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 (ed.), Oxford Studies in Metaphysics. Oxford University Press. pp. 155-206.

View all 71 citations / Add more citations

References found in this work

No references found.

Add more references