Mixed identities for oligomorphic automorphism groups
arXiv:2401.09205 · doi:10.1017/jsl.2025.10123
Abstract
We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous examples and prove in many cases that there cannot be a non-singular mixed identity.
27 pages. Accepted for publication in JSL