Strong Maehara and Takeuti type interpolation theorems for L^2+_k,k

MaRDI QIDQ1192073zbMATH OpenFDO

Authors Ruggero Ferro

Publication date 27 September 1992

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1991__86__57_0, https://eudml.org/doc/108242

zbMATH Keywords

chain modelsinfinitary positive second-order logicinterpolation theorems for infinitary logics

Mathematics Subject Classification ID

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

Review text

This paper is concerned with elaborations of the use of Carol Karp's chain models [\textit{C. Karp}, Proc. Tarski Symp., Berkeley 1971, Proc. Symp. Pure Math. 25, 225-232 (1974; Zbl 0308.02016)] in proving interpolation theorems for infinitary logics, and it extends earlier work by the author. The author proves an interpolation theorem in the style of \textit{S. Maehara} and \textit{G. Takeuti} [J. Symb. Log. 36, 262-270 (1971; Zbl 0278.02013)] for infinitary positive second-order logic. The main technical considerations are related to problems of working with constant symbols.

Recommendations

• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• Seq-consistency property and interpolation theorems
• Karp's interpolation theorem for some classes of infinitary languages
• scientific article; zbMATH DE number 3889508
• \(\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\)

Cites work

• 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 L_k,k²⁺
• Seq-consistency property and interpolation theorems
• Two interpolation theorems for a predicate calculus

Cited in

(7)

• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• scientific article; zbMATH DE number 3889508 (Why is no real title available?)
• scientific article; zbMATH DE number 3891338 (Why is no real title available?)
• scientific article; zbMATH DE number 4089539 (Why is no real title available?)
• scientific article; zbMATH DE number 4118348 (Why is no real title available?)
• 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^{2+}_{k,k}\)

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