Pages that link to "Item:Q1241504"

The following pages link to 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 (Q1241504):

Displayed 7 items.

• \(\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\) (Q582286) ‎ (← links)
• \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) (Q787963) ‎ (← links)
• Seq-consistency property and interpolation theorems (Q790101) ‎ (← links)
• Karp's interpolation theorem for some classes of infinitary languages (Q914662) ‎ (← links)
• An analysis of Karp's interpolation theorem and the notion of k- consistency property (Q1164043) ‎ (← links)
• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) (Q1177671) ‎ (← links)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) ‎ (← links)