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

zbMath0761.03012MaRDI QIDQ1177671

Ruggero Ferro

Publication date: 26 June 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__85__291_0

zbMATH Keywords

interpolationinfinitary logicchain modelsinfinite quantifier language

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

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