Some remarks on equivalence in infinitary and stationary logic
The stationary logic L(aa) contains a quantifier aa (''almost all'') ranging over countable sets. The author shows that for every cardinal \(\kappa\) there are structures of cardinality \(2^{\kappa}\) which are \(L_{\infty \kappa}\)- but not L(aa)-equivalent. Moreover, under suitable assumptions there is a family of \(2^{\kappa^+}\) linear orders of power \(\kappa^+\) which are pairwise \(L_{\infty \kappa^+}(aa)\)- equivalent but nonisomorphic.
scientific article; zbMATH DE number 3882414
scientific article