LEFT-ORDERABLE COMPUTABLE GROUPS

被引：5
|
作者：
Harrison-Trainor, Matthew [1 ]
机构：
[1] Univ Calif Berkeley, Grp Log & Methodol Sci, Berkeley, CA 94720 USA
来源：
JOURNAL OF SYMBOLIC LOGIC | 2018年 / 83卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
computable structure theory; computable algebra; ordered groups;
D O I：
10.1017/jsl.2017.19
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：237 / 255
页数：19
相关论文
共 50 条
  • [31] Lattice fully orderable groups
    Medvedev N.Ya.
    Algebra and Logic, 2001, 40 (4) : 231 - 238
  • [32] RIGHT-ORDERABLE GROUPS
    TODORINOV, SA
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1982, 35 (10): : 1323 - 1325
  • [33] Constructive matrix and orderable groups
    Roman'kov V.A.
    Khisamiev N.G.
    Algebra and Logic, 2004, 43 (3) : 198 - 204
  • [34] On some classes of orderable groups
    Longobardi P.
    Maj M.
    Rendiconti del Seminario Matematico e Fisico di Milano, 1998, 68 (1): : 203 - 216
  • [35] An Engel condition for orderable groups
    Shumyatsky P.
    Tortora A.
    Tota M.
    Bulletin of the Brazilian Mathematical Society, New Series, 2015, 46 (3) : 461 - 468
  • [36] Diagram groups are totally orderable
    Guba, VS
    Sapir, MV
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2006, 205 (01) : 48 - 73
  • [37] ON THE THEORY OF RIGHT ORDERABLE GROUPS
    TARARIN, VM
    MATHEMATICAL NOTES, 1993, 54 (1-2) : 833 - 834
  • [38] Orderable groups and semigroup compactifications
    Michael Megrelishvili
    Monatshefte für Mathematik, 2023, 200 : 903 - 932
  • [39] Π10 classes and orderable groups
    Solomon, R
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 115 (1-3) : 279 - 302
  • [40] Orderable 3-manifold groups
    Boyer, S
    Rolfsen, D
    Wiest, B
    ANNALES DE L INSTITUT FOURIER, 2005, 55 (01) : 243 - +
12345