Standard

Primitively Recursively Categorical Linear Orderings. / Blinov, K. V.

в: Siberian Mathematical Journal, Том 60, № 1, 01.01.2019, стр. 20-26.

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

Harvard

Blinov, KV 2019, 'Primitively Recursively Categorical Linear Orderings', Siberian Mathematical Journal, Том. 60, № 1, стр. 20-26. https://doi.org/10.1134/S0037446619010038

APA

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

Vancouver

Blinov KV. Primitively Recursively Categorical Linear Orderings. Siberian Mathematical Journal. 2019 янв. 1;60(1):20-26. doi: 10.1134/S0037446619010038

Author

Blinov, K. V. / Primitively Recursively Categorical Linear Orderings. в: Siberian Mathematical Journal. 2019 ; Том 60, № 1. стр. 20-26.

BibTeX

@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",

}

RIS

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 -

ID: 20051752