Электронный архив

Punctual Categoricity Relative to a Computable Oracle

Показать сокращенную информацию

dc.contributor.author Kalimullin I.S.
dc.contributor.author Melnikov A.G.
dc.date.accessioned 2022-02-09T20:43:08Z
dc.date.available 2022-02-09T20:43:08Z
dc.date.issued 2021
dc.identifier.issn 1995-0802
dc.identifier.uri https://dspace.kpfu.ru/xmlui/handle/net/169790
dc.description.abstract Abstract: We are studying the punctual structures, i.e., the primitive recursive structures on the whole set of integers. The punctual categoricity relative to a computable oracle f means that between any two punctual copies of a structure there is an isomorphism which togeteher with its inverse can be derived via primitive recursive schemes augmented with f. We will prove that the punctual categoricity relative to a computable oracle can hold only for finitely generated or locally finite structures. We will show that the punctual categoricity of finitely generated structures is exhaused by the computable oracles with primitive recursive graph. We also present an example of locally finite structure where the punctual categoricity is provided by a primitive recursively bounded computable oracle.
dc.relation.ispartofseries Lobachevskii Journal of Mathematics
dc.subject algebraic structure
dc.subject computable function
dc.subject finitely generated structure
dc.subject locally finite structure
dc.subject primitive recursive function
dc.title Punctual Categoricity Relative to a Computable Oracle
dc.type Article
dc.relation.ispartofseries-issue 4
dc.relation.ispartofseries-volume 42
dc.collection Публикации сотрудников КФУ
dc.relation.startpage 735
dc.source.id SCOPUS19950802-2021-42-4-SID85107232329


Файлы в этом документе

Данный элемент включен в следующие коллекции

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика