Seq-consistency property and interpolation theorems

zbMath0534.03014MaRDI QIDQ790101

Ruggero Ferro

Publication date: 1983

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_1983__70__133_0

zbMATH Keywords

interpolationconsistencyinfinitary logicomega-satisfiability

Mathematics Subject Classification ID

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

Related Items (4)

Karp's interpolation theorem for some classes of infinitary languages ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) ⋮ Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) ⋮ \(\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

• Unnamed Item
• \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
• An analysis of Karp's interpolation theorem and the notion of k- consistency property
• 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

This page was built for publication: Seq-consistency property and interpolation theorems