Seq-consistency property and interpolation theorems

MaRDI QIDQ790101zbMATH OpenFDO

Authors 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, https://eudml.org/doc/107913

zbMATH Keywords

consistencyinfinitary logicinterpolationomega-satisfiability

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• \(\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
• scientific article; zbMATH DE number 3482295 (Why is no real title available?)
• Interpolation theorems for L_k,k²⁺
• Two interpolation theorems for a predicate calculus

Cited in

(7)

• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
• Sequentiality and piecewise-affinity in segments of Real-PCF
• scientific article; zbMATH DE number 4089539 (Why is no real title available?)
• Infinitary formulas preserved under unions of models
• \(\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\)
• Karp's interpolation theorem for some classes of infinitary languages

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790101)