Model theoretic results for infinitely deep languages

DOI10.1007/BF01063842MaRDI QIDQ1060213zbMATH OpenOpenAlexFDO

Authors Maaret Karttunen

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01063842

zbMATH Keywords

compactnessdownward Löwenheim-Skolem theoremŁos's theorem

Mathematics Subject Classification ID

Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80)

Review text

We define a subhierarchy of the infinitely deep languages \({\mathcal N}_{\kappa \lambda}\) described by \textit{J. Hintikka} and \textit{V. Rantala} [Ann. Math. Logic. 10, 95-115 (1976; Zbl 0339.02013)]. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages \({\mathcal L}_{\kappa \lambda}\) can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and Łosś theorems as well as some compactness properties.

Recommendations

• scientific article; zbMATH DE number 3906482
• scientific article; zbMATH DE number 444448
• Model theory for infinite quantifier languages
• Logical operations and iterated infinitely deep languages
• A generalized small model property for languages which force the infinity
• scientific article; zbMATH DE number 176766
• Infinitary axiomatization of the equational theory of context-free languages
• Infinitary axiomatization of the equational theory of context-free languages
• scientific article; zbMATH DE number 176739
• The syntax and semantics of infinitary languages

Cites work

• A new approach to infinitary languages
• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• scientific article; zbMATH DE number 3672276 (Why is no real title available?)
• scientific article; zbMATH DE number 3623532 (Why is no real title available?)
• scientific article; zbMATH DE number 3637832 (Why is no real title available?)
• Large infinitary languages. Model theory

Cited in

(5)

• Defining subdirect product closed classes in infinitary logic
• scientific article; zbMATH DE number 444448 (Why is no real title available?)
• Model theory for infinite quantifier languages
• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• Logical operations and iterated infinitely deep languages

This page was built for publication: Model theoretic results for infinitely deep languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060213)