Primitively Recursively Categorical Linear Orderings

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.

Saved in:
Bibliographic Details
Published in:Siberian mathematical journal 2019, Vol.60 (1), p.20-26
Main Author: Blinov, K. V.
Format: Article
Language:English
Subjects:
Mathematics
Mathematics and Statistics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0037-4466
1573-9260
DOI:10.1134/S0037446619010038