Об определимости линейных порядков над негативными эквивалентностями

Изучаются линейные порядки, определимые над негативными и позитивными эквивалентностями, и их вычислимые автоморфизмы. Особое внимание уделяется эквивалентностям вида $\eta(\alpha)=\alpha^2\cup\mathrm{id}_\omega$, $\alpha\subseteq\omega$. В частности, даётся описание порядков, имеющих негативные представления над такими эквивалентностями для коперечислимых $\alpha$. Приводятся примеры определимых и неопределимых порядковых типов для эквивалентностей с различными дополнительными свойствами. Строятся примеры негативных порядков с вычислимыми автоморфизмами, обратные к которым не вычислимы.