Some remarks on equivalence in infinitary and stationary logic

Pour tout cardinal K, il y a des structures A et B telles que A et B satisfont les memes phases de L∞ K mais non de L(aa)