Primitively Recursively Categorical Linear Orderings

K. V. Blinov

doi:10.1134/S0037446619010038

Primitively Recursively Categorical Linear Orderings

K. V. Blinov

Department of Mechanics and Mathematics

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

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.

Original language	English
Pages (from-to)	20-26
Number of pages	7
Journal	Siberian Mathematical Journal
Volume	60
Issue number	1
DOIs	https://doi.org/10.1134/S0037446619010038
Publication status	Published - 1 Jan 2019

Keywords

decidability with primitively recursive witnesses
linear ordering
primitively recursive categoricity

Access to Document

10.1134/S0037446619010038

Cite this

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

Primitively Recursively Categorical Linear Orderings

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this