Spaces of orders and their Turing degree spectra

We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of G , which is left-invariant under the group operation. Right orders and bi-orders are defined similarly. In particular, w...

Full description

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic 2010-06, Vol.161 (9), p.1134-1143
Main Authors: Dabkowska, Malgorzata A., Dabkowski, Mieczyslaw K., Harizanov, Valentina S., Togha, Amir A.
Format: Article
Language:English
Subjects:
Cantor set
Computable group
Free group
Orderable group
Turing degree
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of G , which is left-invariant under the group operation. Right orders and bi-orders are defined similarly. In particular, we study groups for which the spaces of left orders are homeomorphic to the Cantor set, and their Turing degree spectra contain certain upper cones of degrees. Our approach unifies and extends Sikora’s (2004) [28] investigation of orders on groups in topology and Solomon’s (2002) [31] investigation of these orders in computable algebra. Furthermore, we establish that a computable free group F n of rank n > 1 has a bi-order in every Turing degree.
ISSN:0168-0072
DOI:10.1016/j.apal.2010.01.004