Ранг Скотта автоматных частичных порядков

Одна из основных проблем в теории автоматных структур — характеризация типов изоморфизма автоматных структур и подклассов автоматных структур. Мерой сложности типа изморфизма структуры является ее ранг Скотта. М. Минес и Б. Хусоинов показали, что автоматные структуры могут обладать сколь угодно высоким рангом Скотта, не превосходящим $\omega_1^{CK}+1$ [7;8]. В данной статье показано, что подобное утверждение верно для автоматных частичных порядков.