On Π1-automorphisms of recursive linear orders

DOI10.2307/2274356MaRDI QIDQ3778009zbMATH OpenOpenAlexFDO

Authors H. A. Kierstead

Publication date 1987

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

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

zbMATH Keywords

automorphisminfinite injury argumentrecursive linear orderingrecursive ordering

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• Recursive automorphisms of recursive linear orderings
• Automorphisms of -like computable linear orderings and Kierstead's conjecture
• scientific article; zbMATH DE number 749934
• On Kierstead’s conjecture
• The Kierstead's conjecture and limitwise monotonic functions

Cited in

(5)

• Recursive automorphisms of recursive linear orderings
• The Kierstead's conjecture and limitwise monotonic functions
• Computable linear orders and limitwise monotonic functions
• Automorphisms of -like computable linear orderings and Kierstead's conjecture
• On Kierstead’s conjecture

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3778009)