TY - RPRT TI - Some model theory of the Heisenberg group AU - Maciej FrÄ…cek AU - Piotr Kowalski PY - 2026 UR - https://arxiv.org/abs/2512.09414 ID - 2512.09414 ER -