Recursive automorphisms of recursive linear orderings

DOI10.1016/0168-0072(84)90041-1zbMath0571.03018OpenAlexW2032265322MaRDI QIDQ1061738

Steven Schwarz

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

zbMATH Keywords

priority argument

Mathematics Subject Classification ID

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

• Recursively Categorical Linear Orderings
• Unnamed Item