This article is cited in 6 papers

Primitively recursively categorical linear orderings

K. V. Blinov

Novosibirsk State University, Novosibirsk, Russia

Abstract: We prove that linear orderings are primitively recursively categorical over a class of structures $K_\Sigma$ if and only if they contain only finitely many successivities.

Keywords: primitively recursive categoricity, linear ordering, decidability with primitively recursive witnesses.

UDC: 510.57

Received: 23.04.2018
Revised: 04.09.2018
Accepted: 17.10.2018

DOI: 10.33048/smzh.2019.60.103

 English version: Siberian Mathematical Journal, 2019, 60:1, 20–26

Bibliographic databases:

• 
• 
•