Primitively Recursively Categorical Linear Orderings

K. V. Blinov

doi:10.1134/S0037446619010038

Primitively Recursively Categorical Linear Orderings

K. V. Blinov

Механико-математический факультет

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

1 Цитирования (Scopus)

Аннотация

We prove that linear orderings are primitively recursively categorical over a class of structures K _Σ if and only if they contain only finitely many successivities.

Язык оригинала	английский
Страницы (с-по)	20-26
Число страниц	7
Журнал	Siberian Mathematical Journal
Том	60
Номер выпуска	1
DOI	https://doi.org/10.1134/S0037446619010038
Состояние	Опубликовано - 1 янв 2019

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

10.1134/S0037446619010038

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Primitively Recursively Categorical Linear Orderings». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Blinov, K. V. (2019). Primitively Recursively Categorical Linear Orderings. Siberian Mathematical Journal, 60(1), 20-26. https://doi.org/10.1134/S0037446619010038

@article{1da7538341bf42b48769c3a2be84e262,

title = "Primitively Recursively Categorical Linear Orderings",

abstract = " We prove that linear orderings are primitively recursively categorical over a class of structures K Σ if and only if they contain only finitely many successivities. ",

keywords = "decidability with primitively recursive witnesses, linear ordering, primitively recursive categoricity",

author = "Blinov, {K. V.}",

year = "2019",

month = jan,

day = "1",

doi = "10.1134/S0037446619010038",

language = "English",

volume = "60",

pages = "20--26",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "1",

}

TY - JOUR

T1 - Primitively Recursively Categorical Linear Orderings

AU - Blinov, K. V.

PY - 2019/1/1

Y1 - 2019/1/1

N2 - We prove that linear orderings are primitively recursively categorical over a class of structures K Σ if and only if they contain only finitely many successivities.

AB - We prove that linear orderings are primitively recursively categorical over a class of structures K Σ if and only if they contain only finitely many successivities.

KW - decidability with primitively recursive witnesses

KW - linear ordering

KW - primitively recursive categoricity

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

U2 - 10.1134/S0037446619010038

DO - 10.1134/S0037446619010038

M3 - Article

AN - SCOPUS:85065258144

VL - 60

SP - 20

EP - 26

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 1

ER -