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

zbMath0792.03024MaRDI QIDQ1192073

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

zbMATH Keywords

chain modelsinfinitary positive second-order logicinterpolation theorems for infinitary logics

Mathematics Subject Classification ID

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

Cites Work

• Seq-consistency property and interpolation theorems
• 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
• Interpolation theorems for L_k,k²⁺
• Two interpolation theorems for a predicate calculus
• Infinitary analogs of theorems from first order model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)