Decidable discrete linear orders

DOI10.2307/2274522zbMath0658.03026OpenAlexW4240836373MaRDI QIDQ3807188

Michael Moses

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274522

zbMATH Keywords

self-embeddingdiscrete linear ordersrecursive categoricitydecidable linear ordereffectivity conditionsintrinsic recursiveness

Mathematics Subject Classification ID

Total orders (06A05) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Decidable discrete linear orders