Спектры категоричности вычислимых структур

Спектром категоричности вычислимой структуры $S$ называют множество всех тьюринговых степеней, которые могут вычислять изоморфизмы между произвольными вычислимыми представлениями $S$. Степень категоричности $S$ — это наименьшая степень из спектра категоричности $S$. В статье приводится обзор результатов о спектрах и степенях категоричности для вычислимых структур. Особое внимание уделено результатам о степенях категоричности для линейных порядков и булевых алгебр. Строится новая серия примеров степеней категоричности для линейных порядков.