-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

consistency propertyinfinitary languageschain modelsomega-chains of modelsomega-satisfiability

Mathematics Subject Classification ID

Other infinitary logic (03C75)

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

• scientific article; zbMATH DE number 3482295 (Why is no real title available?)
• 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
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

Cited in

(3)

• A new Löwenheim-Skolem theorem
• scientific article; zbMATH DE number 4033718 (Why is no real title available?)
• 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)