Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-09T09:43:20.328Z Has data issue: false hasContentIssue false

LEFT-ORDERABLE COMPUTABLE GROUPS

Published online by Cambridge University Press:  05 February 2018

MATTHEW HARRISON-TRAINOR*
Affiliation:
GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE UNIVERSITY OF CALIFORNIA BERKELEY, CA, USA E-mail: matthew.h-t@berkeley.edu URL: www.math.berkeley.edu/∼mattht
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Downey and Kurtz asked whether every orderable computable group is classically isomorphic to a group with a computable ordering. By an order on a group, one might mean either a left-order or a bi-order. We answer their question for 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. The case of bi-orderable groups is left open.

Information

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2018