Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

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

Elementary theories and hereditary undecidability for semilattices of numberings

Дата публикации: 2018

Дата публикации в реестре: 2020-03-01T01:36:53Z

Аннотация:
Ключевые слова:
Computability theory, Computably enumerable equivalence relation, Elementary definability, First order arithmetic, Hereditary undecidability, Numbering theory, Rogers semilattice, Second order arithmetic, Upper semilattice

Тип: Article in Press

Источник: SCOPUS09335846-2018-SID85053898304

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core