Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) (Q1177671)

This paper concerns the interpolation problem for the infinite quantifier language \(L_{\kappa\kappa}\) where \(\kappa\) is a strong limit cardinal of cofinality \(\omega\). To obtain interpolation theorems for this language, Carol Karp has introduced the use of ascending \(\omega\)- sequences of models called chain models. The related notion of \(\omega\)- satisfiability is defined as usual satisfiability in the union of the ascending chain with the exception that only sequences of elements bounded in some member of the chain are used to interpret homogeneous sequences of quantifiers. Some technical problems are connected to the use of constant symbols in this approach developed in a series of papers by Karp, Ellen Cunningham and the author of this paper. Here the author shows how to solve these problems to prove an interpolation theorem of the style of Maehara and Takeuti for \(L^{2+}_{\kappa\kappa}\) in a strong form, where chain models and \(\omega\)-satisfiability appear in the conclusion.