All Questions

Several days ago, Professor Martin Bridson gave a very nice talk in my department. Some questions concerning his talk came into my brain Since I am neither a model theorist nor a algebraist, I am not ...

I came across a reference in this MathOverflow answer to an intriguing result of Ulrich Felgner [1]: among finite non-Abelian groups, the property of being simple is first-order definable. According ...

Previously asked at MSE. The construction here can generalize to arbitrary algebras (in the sense of universal algebra) in the same signature with the only needed tweak being the replacement of "...

Let $G$ be the automorphism group of the binary rooted tree. The downward Löwenheim-Skolem theorem states that G has a countable elementary sub-structure. My question is whether such sub-structure ...

I'm interested in finding all groups for which the group operation (and inverse map) may be implemented using finite field arithmetic. I've done some searching and have come across "algebraic groups",...