|
|
Конференция международных математических центров мирового уровня
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.
|
|