Аннотация:
Доказывается, что для любого натурального n⩾1 существует вычислимая свободно порождённая проективная плоскость, вычислимая размерность которой равна n. Устанавливается, что класс свободно порождённых проективных плоскостей является полным относительно спектров степеней автоморфно нетривиальных структур, эффективных размерностей, константных расширений и спектров степеней отношений.
Работа выполнена при финансовой поддержке Совета по грантам Президента РФ для государственной поддержке ведущих научных школ, проект НШ-6848.2016.1, и Российского фонда фундаментальных исследований, проекты 14-01-00376 и 13-01-91001-АНФ_а.
Н. Т. Когабаев, “О системах диофантовых уравнений над конечными конфигурациями”, Сиб. матем. журн., 64:2 (2023), 321–338; N. T. Kogabaev, “Systems of diophantine equations over finite configurations”, Siberian Math. J., 64:2 (2023), 325–337
Nikolay Bazhenov, “Computable Heyting Algebras with Distinguished Atoms and Coatoms”, J of Log Lang and Inf, 32:1 (2023), 3
Bazhenov N. Tsai H.-Ch., “On the Effective Universality of Mereological Theories”, Math. Log. Q., 68:1 (2022), 48–66
Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50