Seq-consistency property and interpolation theorems

zbMATH Open0534.03014MaRDI QIDQ790101FDOQ790101

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

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

zbMATH Keywords

consistencyinterpolationinfinitary logicomega-satisfiability

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Interpolation theorems for L_k,k²⁺
• An analysis of Karp's interpolation theorem and the notion of k- consistency property
• \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)
• Two interpolation theorems for a predicate calculus

Cited In (7)

• Title not available (Why is that?)
• 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\)
• Sequentiality and piecewise-affinity in segments of Real-PCF
• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\)
• 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)