Об одной иерархии групп вычислимых автоморфизмов
Морозов А.С., Бузыкаева А.Н.
Получено полное описание групп вида , которые могут реализоваться как группы всех вычислимых автоморфизмов подходящих вычислимых моделей. Предложена трехступенчатая классификация типов изоморфизма групп вычислимых автоморфизмов по возможной арифметической сложности их орбит, и доказана ее нетривиальность.
ক্যাটাগোরিগুলো:
সাল:
2002
ভাষা:
russian
পৃষ্ঠা:
6
ফাইল:
PDF, 360 KB
IPFS:
,
russian, 2002