Аннотация:
Доказывается, что теория папповых проективных плоскостей полна относительно спектров степеней автоморфно нетривиальных структур, эффективных размерностей, спектров степеней отношений, спектров категоричности и спектров автоморфизмов. Поэтому для любого натурального n⩾2 существует вычислимая паппова проективная плоскость вычислимой размерности n.
Работа выполнена при финансовой поддержке Совета по грантам Президента РФ для государственной поддержки ведущих научных школ, проект НШ-860.2014.1, и Российского фонда фундаментальных исследований, проекты 14-01-00376 и 13-01-91001-АНФ_а.
Образец цитирования:
Н. Т. Когабаев, “Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей”, Алгебра и логика, 54:5 (2015), 599–627; Algebra and Logic, 54:5 (2015), 387–407
\RBibitem{Kog15}
\by Н.~Т.~Когабаев
\paper Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей
\jour Алгебра и логика
\yr 2015
\vol 54
\issue 5
\pages 599--627
\mathnet{http://mi.mathnet.ru/al715}
\crossref{https://doi.org/10.17377/alglog.2015.54.504}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3468420}
\transl
\jour Algebra and Logic
\yr 2015
\vol 54
\issue 5
\pages 387--407
\crossref{https://doi.org/10.1007/s10469-015-9360-7}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000366155000004}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84957973266}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al715
https://www.mathnet.ru/rus/al/v54/i5/p599
Эта публикация цитируется в следующих 10 статьяx:
Bazhenov N. Tsai H.-Ch., “On the Effective Universality of Mereological Theories”, Math. Log. Q., 68:1 (2022), 48–66
N. Bazhenov, “HKSS-completeness of modal algebras”, Сиб. электрон. матем. изв., 18:2 (2021), 923–930
N. Bazhenov, “Computable contact algebras”, Fundam. Inform., 167:4 (2019), 257–269
Н. А. Баженов, “Спектры категоричности вычислимых структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 42–58; N. A. Bazhenov, “Categoricity spectra of computable structures”, J. Math. Sci. (N. Y.), 256:1 (2021), 34–50
И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159
Н. Т. Когабаев, “О проблеме вложимости вычислимых проективных плоскостей”, Алгебра и логика, 56:1 (2017), 110–117; N. T. Kogabaev, “The embedding problem for computable projective planes”, Algebra and Logic, 56:1 (2017), 75–79
N. A. Bazhenov, “Effective categoricity for distributive lattices and Heyting algebras”, Lobachevskii J. Math., 38:4, SI (2017), 600–614
Н. Т. Когабаев, “Π11-полнота проблемы вычислимой категоричности проективных плоскостей”, Алгебра и логика, 55:4 (2016), 432–440; N. T. Kogabaev, “Π11-completeness of the computable categoricity problem
for projective planes”, Algebra and Logic, 55:4 (2016), 283–288
Н. Т. Когабаев, “Свободно порождённые проективные плоскости конечной вычислимой размерности”, Алгебра и логика, 55:6 (2016), 704–737; N. T. Kogabaev, “Freely generated projective planes with finite computable dimension”, Algebra and Logic, 55:6 (2017), 461–484
N. Bazhenov, “Categoricity spectra for polymodal algebras”, Stud. Log., 104:6 (2016), 1083–1097
Цитирование в формате AMSBIB
Обратная связь: