On Π1-automorphisms of recursive linear orders

DOI10.2307/2274356zbMath0637.03043OpenAlexW4237089393MaRDI QIDQ3778009

Henry A. Kierstead

Publication date: 1987

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

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

zbMATH Keywords

automorphismrecursive linear orderinginfinite injury argumentrecursive ordering

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (3)

The Kierstead's conjecture and limitwise monotonic functions ⋮ Computable linear orders and limitwise monotonic functions ⋮ On Kierstead’s conjecture

This page was built for publication: On Π₁-automorphisms of recursive linear orders