Herbrand and Skolem theorems in infinitary languages

Oslo,: Universitetet i Oslo, Matematisk institutt (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.37.J47

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Löwenheim-Skolem and Interpolation Theorems in Infinitary Languages.David W. Kueker & K. Jon Barwise - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Model theoretic results for infinitely deep languages.Maaret Karttunen - 1983 - Studia Logica 42 (2-3):223 - 241.
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..
Incompactness in infinitary languages with respect to Boolean-valued interpretations.Attila Máté - 1971 - Szeged,: University of Szeged Bolyai Mathematical Institute.
David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 , pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 , pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 , pp. 57–103. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors.Carol Karp & D. W. Kueker (eds.) - 1975 - New York: Springer Verlag.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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