Primitively Recursively Categorical Linear Orderings
- Autores: Blinov K.V.1
-
Afiliações:
- Novosibirsk State University
- Edição: Volume 60, Nº 1 (2019)
- Páginas: 20-26
- Seção: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172164
- DOI: https://doi.org/10.1134/S0037446619010038
- ID: 172164
Citar
Resumo
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.
Sobre autores
K. Blinov
Novosibirsk State University
Autor responsável pela correspondência
Email: kvblinov@gmail.com
Rússia, Novosibirsk
Arquivos suplementares
