Automated reasoning for proving non-orderability of groups
Geometric Topology
2023-10-10 v1 Group Theory
Abstract
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.
Cite
@article{arxiv.2310.05891,
title = {Automated reasoning for proving non-orderability of groups},
author = {Alexei Lisitsa and Zipei Nie and Alexei Vernitski},
journal= {arXiv preprint arXiv:2310.05891},
year = {2023}
}
Comments
35 pages, 0 figures