The following pages link to J.Oikkonen (Q593641):
Displayed 12 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)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) (Q787963) (← links)
- A pair of nonisomorphic \(\equiv _{\infty \lambda}\) models of power \(\lambda\) for \(\lambda\) singular with \(\lambda ^{\omega}=\lambda\) (Q802542) (← links)
- Definability properties and the congruence closure (Q810007) (← links)
- Stationary logic of ordinals (Q1062974) (← links)
- Remarks in abstract model theory (Q1080418) (← 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)
- Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\) (Q1203767) (← links)
- (Q4025565) (← links)
- (Q4835609) (← links)