Pages that link to "Item:Q582286"

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

Displaying 4 items.

• \(\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)
• Ineffability of \(\mathcal{P}_{\kappa} \lambda\) for \(\lambda\) with small cofinality (Q945894) (← links)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) (← links)