Skip to main content
Log in

Model theoretic results for infinitely deep languages

Studia Logica Aims and scope Submit manuscript

Abstract

We define a subhierarchy of the infinitely deep languagesN ℵλ described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages ℒℵλ can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and Łoś's theorems as well as some compactness properties.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. C.C. Chang andH.J. Keisler,Model Theory, North-Holland, Amsterdam 1973.

    Google Scholar 

  2. M. A. Dickmann,Large Infinitary Languages, North-Holland, Amsterdam 1975.

    Google Scholar 

  3. F.R. Drake,Set Theory. An Introduction to Large Cardinals, North-Holland, Amsterdam, 1973.

    Google Scholar 

  4. J. Hintikka andV. Rantala,A new approach to infinitary languages,Annals of Mathematical Logic 10 (1976), pp. 95–115.

    Google Scholar 

  5. M. Karttunen, Infinitary languagesN ∞λ and generalized partial isomorphisms, in:J. Hintikka, I. Niiniluoto, andE. Saarinen (eds.),Essays on Mathematical and Philosophical Logic, D. Reidel, Dordrecht, Holland, 1978, pp. 153–168.

    Google Scholar 

  6. M. Karttunen,Model theory for infinitely deep languages, to appear.

  7. J. Oikkonen,Second order definability, game quantifiers and related expressions, in:Commentationes Physico-Mathematicae 48, no. 1 (1978).

  8. J. Oikkonen,A generalization of the infinitely deep languages of Hintikka and Rantala, in:E. Saarinen,R. Hilpinen, andM. Provence Hintikka (eds.),Essays in Honour of Jaakko Hintikka, D. Reidel, Dordrecht, Holland, 1979, pp. 101–112.

    Google Scholar 

  9. V. Rantala,Game theoretical semantics and back-and-forth, in the same volume as [5].

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Karttunen, M. Model theoretic results for infinitely deep languages. Stud Logica 42, 223–241 (1983). https://doi.org/10.1007/BF01063842

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01063842

Keywords

Navigation