Дж. Найт, “Классы алгебраических структур”, Сириус. Матем. журнал, 1:1 (2025), 97–104.

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

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

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