Model theoretic results for infinitely deep languages

Studia Logica 42 (2-3):223 - 241 (1983)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01063842

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Model theoretic results for infinitely deep languages.Maaret Karttunen - 1982 - Bulletin of the Section of Logic 11 (1-2):1-3.
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman - 2014 - Logica Universalis 8 (3-4):345-391.
Logical operations and iterated deep languages.Juha Oikkonen - 1983 - Studia Logica 42:243.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
On models with variable universe.Bernd Ingo Dahn - 1975 - Studia Logica 34 (1):11 - 23.
On Modal Logics of Model-Theoretic Relations.Denis I. Saveliev & Ilya B. Shapirovsky - 2020 - Studia Logica 108 (5):989-1017.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Is Natural Semantics Possible?—Ordinary English, Formal Deformations-cum-Reformations and the Limits of Model Theory.Joseph Almog - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 49-108.

Analytics

Added to PP
2009-01-28

Downloads
46 (#355,372)

6 months
2 (#1,259,303)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Counting Incompossibles.Peter Fritz & Jeremy Goodman - 2017 - Mind 126 (504):1063–1108.

Add more citations

References found in this work

Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
A new approach to infinitary languages.J. Hintikka - 1976 - Annals of Mathematical Logic 10 (1):95.

Add more references