Pages that link to "Item:Q1177671"
From MaRDI portal
The following pages link to Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) (Q1177671):
Displaying 6 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)
- Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) (← links)
- Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup> (Q3322083) (← links)
- Two Models that show the Interpolation Theorem Fails in all <i>L</i> <sup>1</sup> ( <i>Q</i> <sub>α</sub> ) and <i>L</i> <sup>1, 1</sup> ( (Q4024856) (← links)
