Дж. Найт, ``Классы алгебраических структур'', Сириус. Мат. ж. 1, No. 1, 97−104 (2025).

Мы рассмотрим некоторые аспекты теории вычислимых структур, которые демонстрируют выразительную силу бесконечных предложений при описании математических структур и классов структур. Наш обзор включает как классические результаты такие, как теорема Скотта об изоморфизме, теорема Лопеза — Эскобара, а также результаты Фридмана и Стенли о сравнении классов структур на основании сложности их инвариантов, так и недавно полученные результаты для абелевых групп без кручения.

Исследование частично поддержано грантом NSF (№ 1800692).

J. F. Knight, ``Classes of algebraic structures,'' J. Math. Sci. (New York) 275, No. 1, 16−24 (2023).
DOI: 10.1007/s10958-023-06656-y