-satisfiability, -consistency property, and the downward Löwenheim Skolem theorem for L_,

MaRDI QIDQ787963zbMATH OpenFDO

Authors Ruggero Ferro

Publication date 1982

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

zbMATH Keywords

chain modelsconsistency propertyinfinitary languagesomega-chains of modelsomega-satisfiability

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Review text

The paper concerns \(L_{\kappa \kappa}\) for strong limit cardinals \(\kappa\) of cofinality \(\omega\). A new version of the notion of a consistency property, that of \(\omega\)-consistency property is introduced. This version has the advantage that sets of sentences in \(\omega\)-consistency properties are \(\omega\)-satisfiable and that every \(\omega\)-satisfiable set of sentences is in an \(\omega\)-consistency property. The paper is connected with earlier work by Karp and Cunningham on chain models. In contrast with earlier versions, Ferro does not need the downward Löwenheim-Skolem Theorem as a tool, but is able to obtain a downward Löwenheim-Skolem Theorem (for \(\omega\)-chains of models) as a corollary to the basic properties of \(\omega\)-consistency properties.

Recommendations

• \(\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\)
• scientific article; zbMATH DE number 4033718
• A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property
• A new Löwenheim-Skolem theorem
• A note on extensions of infinitary logic

Cites work

• 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?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

Cited in

(3)

• scientific article; zbMATH DE number 4033718 (Why is no real title available?)
• A new Löwenheim-Skolem theorem
• Seq-consistency property and interpolation theorems

This page was built for publication: \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)

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