MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

For most cardinals κ<λ, $\kappa \leq \lambda$, it must happen that the infinite symmetric group Sκ$S_\kappa$ satisfies exactly the same first order theory as Sλ. $S_\lambda$. That is, the groups are elementarily equivalent. This is just because there are only continuum many theories in a countable language, but more cardinals than that.