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

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.