Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Конференция международных математических центров мирового уровня
10 августа 2021 г. 17:30–18:15, Теория вычислимости и математическая логика, г. Сочи
 


Punctual structures and punctual categoricity

И. Ш. Калимуллин

Институт математики и механики им. Н. И. Лобачевского Казанского (Приволжского) федерального университета

Аннотация: A punctual algebraic structure $A$ (i.e., primitive recursive structure on the universe $\omega$) is punctually categorical if for every its punctual copy $B$ there is an isomorphism from $A$ onto $B$ which is primitive recursive together with the inverse.
Unexpectedly, there is an dichotomy for this notion: every punctually categorical structure is either finitely generated, or locally finite. This dichotomy also holds for the structures which have a degree of punctual categoricity.
For the finitely generated structures we can describe the possible degrees of punctual categoricity. We also have some partial results relating degrees of punctual categoricity of locally finite structures.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024