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