Recursive automorphisms of recursive linear orderings
From MaRDI portal
Publication:1061738
DOI10.1016/0168-0072(84)90041-1zbMath0571.03018OpenAlexW2032265322MaRDI QIDQ1061738
Publication date: 1984
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(84)90041-1
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
The Kierstead's conjecture and limitwise monotonic functions ⋮ Computable linear orders and limitwise monotonic functions ⋮ On Kierstead’s conjecture
Cites Work