Primitively recursively categorical linear orderings
type: Item
instance of: scholarly article
title: Primitively recursively categorical linear orderings
zbMATH Open document ID: 1477.03145
DOI: 10.1134/S0037446619010038
author: K. V. Blinov
published in: Siberian Mathematical Journal
publication date: 2019-07-12T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 06A05
zbMATH DE Number: 7079956
zbMATH Keywords: primitively recursive categoricity
zbMATH Keywords: linear ordering
zbMATH Keywords: decidability with primitively recursive witnesses
MaRDI profile type: Publication
cites work: Q4956005
cites work: Q5573961
cites work: Q4005059
cites work: Structures computable in polynomial time. I
cites work: Categoricity for primitive recursive and polynomial Boolean algebras
cites work: Recursively Categorical Linear Orderings
cites work: Autostability of models
cites work: Q4249365
cites work: Algebraic structures computable without delay
full work available at URL: s0037446619010038
OpenAlex ID: W2937879628
Wikidata QID: Q128060411
description: scientific article; zbMATH DE number 7079956