An autostable 2 nilpotent group with no Scott family of finitary formulas |
| |
Authors: | J. A. Tussupov |
| |
Affiliation: | (1) Al-Farabi Kazakhstan National University, Almaty, Kazakhstan |
| |
Abstract: | ![]() We construct an autostable 2 nilpotent group with no Scott family of finitary formulas but having a unique constructivization up to autoequivalence. |
| |
Keywords: | computability theory computable structure nilpotent group graph Scott family |
本文献已被 SpringerLink 等数据库收录! |