Model theoretic results for infinitely deep languages

DOI10.1007/BF01063842zbMath0568.03016OpenAlexW2156769212MaRDI QIDQ1060213

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

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

Cites Work

• Large infinitary languages. Model theory
• A new approach to infinitary languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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