Pages that link to "Item:Q914662"
From MaRDI portal
The following pages link to Karp's interpolation theorem for some classes of infinitary languages (Q914662):
Displaying 5 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)
- Seq-consistency property and interpolation theorems (Q790101) (← links)
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) (← links)
- ON CONSTRUCTING INFINITARY LANGUAGES Lα β WITHOUT THE AXIOM OF CHOICE (Q3342567) (← links)
- Notion of Interpretation and Nonelementary Languages (Q3822155) (← links)
