Some model theory of the Heisenberg group

Maciej FrÄ cek, Piotr Kowalski

We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we ext…