Primitively Recursively Categorical Linear Orderings
- 作者: Blinov K.V.1
-
隶属关系:
- Novosibirsk State University
- 期: 卷 60, 编号 1 (2019)
- 页面: 20-26
- 栏目: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172164
- DOI: https://doi.org/10.1134/S0037446619010038
- ID: 172164
如何引用文章
详细
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.
作者简介
K. Blinov
Novosibirsk State University
编辑信件的主要联系方式.
Email: kvblinov@gmail.com
俄罗斯联邦, Novosibirsk
补充文件
