Karp's interpolation theorem for some classes of infinitary languages

zbMath0702.03015MaRDI QIDQ914662

Stefano Baratella

Publication date: 1989

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_1989__82__9_0

zbMATH Keywords

GCHconsistency propertyinfinitary languagesstrong interpolation theoremweak interpolation theorem

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
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Compactness, interpolation and Friedman's third problem
• Beth definability in infinitary languages
• Interpolation theorems for L_k,k²⁺
• Infinitary analogs of theorems from first order model theory

This page was built for publication: Karp's interpolation theorem for some classes of infinitary languages