Interpolation theorems for Lk,k2+

DOI10.2307/2273530zbMath0397.03019OpenAlexW2112860956MaRDI QIDQ4180330

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

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

Related Items (6)

Karp's interpolation theorem for some classes of infinitary languages ⋮ 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

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