|
This article is cited in 6 scientific papers (total 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.
Received: 23.04.2018 Revised: 04.09.2018 Accepted: 17.10.2018
Citation:
K. V. Blinov, “Primitively recursively categorical linear orderings”, Sibirsk. Mat. Zh., 60:1 (2019), 28–36; Siberian Math. J., 60:1 (2019), 20–26
Linking options:
https://www.mathnet.ru/eng/smj3056 https://www.mathnet.ru/eng/smj/v60/i1/p28
|
|