The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

S. S. Goncharov; M. I. Marchuk

doi:10.1007/s10469-021-09642-y

The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

Переведенное название: О степени разрешимой категоричности модели с бесконечными решениями для полных формул

S. S. Goncharov, M. I. Marchuk

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

Аннотация

Строится разрешимая простая модель, у которой степень множества полных формул равна 0′, каждой полной формуле удовлетворяет бесконечно много наборов элементов, при этом спектр разрешимой категоричности совпадает с множеством всех PA-степеней.

Переведенное название	О степени разрешимой категоричности модели с бесконечными решениями для полных формул
Язык оригинала	английский
Страницы (с-по)	200-206
Число страниц	7
Журнал	Algebra and Logic
Том	60
Номер выпуска	3
DOI	https://doi.org/10.1007/s10469-021-09642-y
Состояние	Опубликовано - июл. 2021

Предметные области OECD FOS+WOS

1.01 МАТЕМАТИКА

Доступ к документу

10.1007/s10469-021-09642-y

Другие файлы и ссылки

Ссылка на публикацию в Scopus

Fingerprint

Подробные сведения о темах исследования «О степени разрешимой категоричности модели с бесконечными решениями для полных формул». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{4ff003d98e624cb3971bab2d0c4426a8,

title = "The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas",

abstract = "We construct a decidable prime model in which the degree of a set of complete formulas is equal to 0', infinitely many tuples of elements comply with every complete formula, and the decidable categoricity spectrum coincides with the set of all PA-degrees.",

keywords = "autostability relative to strong constructivizations, computable categoricity, computable model, decidable categoricity spectrum, decidable model, degree of decidable categoricity, PAdegree",

author = "Goncharov, {S. S.} and Marchuk, {M. I.}",

note = "Funding Information: Supported by RFBR, project No. 20-01-00300. Publisher Copyright: {\textcopyright} 2021, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2021",

month = jul,

doi = "10.1007/s10469-021-09642-y",

language = "English",

volume = "60",

pages = "200--206",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "3",

}

The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas. / Goncharov, S. S.; Marchuk, M. I.

В: Algebra and Logic, Том 60, № 3, 07.2021, стр. 200-206.

Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование

TY - JOUR

T1 - The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

AU - Goncharov, S. S.

AU - Marchuk, M. I.

PY - 2021/7

Y1 - 2021/7

N2 - We construct a decidable prime model in which the degree of a set of complete formulas is equal to 0', infinitely many tuples of elements comply with every complete formula, and the decidable categoricity spectrum coincides with the set of all PA-degrees.

AB - We construct a decidable prime model in which the degree of a set of complete formulas is equal to 0', infinitely many tuples of elements comply with every complete formula, and the decidable categoricity spectrum coincides with the set of all PA-degrees.

KW - autostability relative to strong constructivizations

KW - computable categoricity

KW - computable model

KW - decidable categoricity spectrum

KW - decidable model

KW - degree of decidable categoricity

KW - PAdegree

UR - http://www.scopus.com/inward/record.url?scp=85118544308&partnerID=8YFLogxK

U2 - 10.1007/s10469-021-09642-y

DO - 10.1007/s10469-021-09642-y

M3 - Article

AN - SCOPUS:85118544308

VL - 60

SP - 200

EP - 206

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 3

ER -