\(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\)

zbMath0531.03018MaRDI QIDQ787963

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

zbMATH Keywords

consistency propertyinfinitary languageschain modelsomega-chains of modelsomega-satisfiability

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Related Items (1)

Seq-consistency property and interpolation theorems

Cites Work

• Unnamed Item
• 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

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