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

zbMATH Open0531.03018MaRDI QIDQ787963FDOQ787963

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

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

zbMATH Keywords

consistency propertyinfinitary languageschain modelsomega-chains of modelsomega-satisfiability

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• 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?)
• An analysis of Karp's interpolation theorem and the notion of k- consistency property

Cited In (3)

• Title not available (Why is that?)
• Seq-consistency property and interpolation theorems
• A new Löwenheim-Skolem theorem

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)