LEFT-ORDERABLE COMPUTABLE GROUPS

DOI10.1017/jsl.2017.19zbMath1447.03009arXiv1602.06338OpenAlexW2963174387MaRDI QIDQ4638986

Matthew Harrison-Trainor

Publication date: 2 May 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.06338

zbMATH Keywords

ordered groupscomputable algebracomputable structure theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Orders on magmas and computability theory ⋮ Embeddings into left‐orderable simple groups ⋮ COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS ⋮ Regular left-orders on groups

Cites Work

• Some constructivizations of Abelian groups
• Recursion theory and ordered groups
• Ordering coproducts of groups and semigroups
• Combinatorial group theory.
• \(\Pi_{1}^{0}\) classes and orderable groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LEFT-ORDERABLE COMPUTABLE GROUPS