2016/02/19 by Matthew Harrison-Trainor, Harrison-Trainor, Matthew
Mathematics · #03C57 #03D45 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C57 #msc:03D45
paper · pdf · doi:10.48550/arxiv.1602.06338
17 pages
arxiv created 2016/11/18 · arxiv updated 2016/11/21
We answer a question of Downey and Kurtz on left-orderable groups by showing that there is a computable left-orderable group which is not classically isomorphic to a computable group with a computable left-order.