Group theoretic properties of the group of computable automorphisms of a countable dense linear order

DOI10.1023/A:1022878003199zbMath1032.03040OpenAlexW149868500MaRDI QIDQ1810808

Steffen Lempp, Charles F. D. McCoy, Andrey S. Morozov, D. Reed Solomon

Publication date: 9 June 2003

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022878003199

zbMATH Keywords

automorphism groupscomputability theoryreverse mathematicseffective algebralattice-ordered groups

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ordered groups (06F15) Applications of computability and recursion theory (03D80)

This page was built for publication: Group theoretic properties of the group of computable automorphisms of a countable dense linear order