On automatic and decidable linear orderings

zbMath1329.03071MaRDI QIDQ890799

Aleksandra Anatol'evna Gavryushkina

Publication date: 16 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v7/p100-110.pdf

zbMATH Keywords

computable categoricitylinear orderingautomatic structuredecidable structure

Mathematics Subject Classification ID

Total orders (06A05) Computable structure theory, computable model theory (03C57)

This page was built for publication: On automatic and decidable linear orderings