An analysis of Karp's interpolation theorem and the notion of k- consistency property

zbMath0485.03014MaRDI QIDQ1164043

Ruggero Ferro

Publication date: 1981

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_1981__65__111_0

zbMATH Keywords

interpolation theoremconsistency propertyomega-valid

Mathematics Subject Classification ID

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

Related Items (2)

\(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) ⋮ Seq-consistency property and interpolation theorems

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
• Interpolation theorems for L_k,k²⁺
• Infinitary analogs of theorems from first order model theory
• Unnamed Item

This page was built for publication: An analysis of Karp's interpolation theorem and the notion of k- consistency property