An autostable 2 nilpotent group with no Scott family of finitary formulas

Abstract

We construct an autostable 2 nilpotent group with no Scott family of finitary formulas but having a unique constructivization up to autoequivalence.

A. D. Taimanov and model theory in Kazakhstan

“…Tussupov studied algorithmic complexity of the Scott family of formulas for different classes of algebraic structures [327, 328, 329, 330] (2006, 2007). In particular, he built an autostable two-step nilpotent group with a single constructivization up to autoequivalences that has no Scott family of finite formulas [329] (2007). V.P.…”