Strong Maehara and Takeuti type interpolation theorems for L_k,k^2+
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.
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
- scientific article; zbMATH DE number 3889508
- Strong inequalities for Hermite-Fejér interpolations and characterization of \(K\)-functionals
- scientific article; zbMATH DE number 3927679
- scientific article; zbMATH DE number 3964647
- The interpolation theorems of \(L_a^{Ba}(D)\) spaces
- scientific article; zbMATH DE number 3933798
- Marcinkiewicz interpolation theorem for spaces of Hardy type
- scientific article; zbMATH DE number 5952075
- scientific article; zbMATH DE number 4073756
- Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
- scientific article; zbMATH DE number 3889508 (Why is no real title available?)
- scientific article; zbMATH DE number 4089539 (Why is no real title available?)
- scientific article; zbMATH DE number 3482295 (Why is no real title available?)
- scientific article; zbMATH DE number 3351503 (Why is no real title available?)
- Infinitary analogs of theorems from first order model theory
- Interpolation theorems for Lk,k2+
- Seq-consistency property and interpolation theorems
- Two interpolation theorems for a predicate calculus
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
- Chain logic and Shelah's infinitary logic
- scientific article; zbMATH DE number 3889508 (Why is no real title available?)
- Downward transfer of satisfiability for sentences of L1,1
- scientific article; zbMATH DE number 3922631 (Why is no real title available?)
- scientific article; zbMATH DE number 4089539 (Why is no real title available?)
- Two Models that show the Interpolation Theorem Fails in all L 1 ( Q α ) and L 1, 1 ( Q α , α = 0, 1, 2,…
- scientific article; zbMATH DE number 4118348 (Why is no real title available?)
- \(\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: Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177671)
