Primitively recursively categorical linear orderings
From MaRDI portal
Publication:2002476
DOI10.1134/S0037446619010038zbMath1477.03145OpenAlexW2937879628WikidataQ128060411 ScholiaQ128060411MaRDI QIDQ2002476
Publication date: 12 July 2019
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0037446619010038
Total orders (06A05) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
Punctually presented structures I: Closure theorems ⋮ Online presentations of finitely generated structures ⋮ Primitively recursive categoricity for unars and equivalence structures
Cites Work
This page was built for publication: Primitively recursively categorical linear orderings