Interpolation theorems for Lk,k2+

DOI10.2307/2273530MaRDI QIDQ4180330zbMATH OpenOpenAlexFDO

Authors Ruggero Ferro

Publication date 1978

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273530

zbMATH Keywords

Interpolation TheoremsSecond Order Language

Mathematics Subject Classification ID

Other model constructions (03C30) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Second- and higher-order model theory (03C85)

Cited in

(6)

• An analysis of Karp's interpolation theorem and the notion of k- consistency property
• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
• \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\)
• Seq-consistency property and interpolation theorems
• Karp's interpolation theorem for some classes of infinitary languages

This page was built for publication: Interpolation theorems for L_k,k²⁺

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