Is this a necessary and sufficient condition for a structure $M$ to be rigid: For all distinct $m, m'$ in the underlying set of $M$, $Th(M,m) \neq Th(M,m')$?
2026-03-26 18:50:35.1774551035
A necessary and sufficient condition for a structure to be rigid.
62 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
As Asaf points out in the comments, it is entirely straightforward that if $\text{Th}(M,m)\neq \text{Th}(M,m')$ for all distinct $m$ and $m'$ in $M$, then $M$ is rigid.
The converse is not true. Hint: Every ordinal $(\alpha,<)$ is rigid.