Computable paradoxical decompositions
Logic
2022-03-16 v1 Group Theory
Abstract
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
Keywords
Cite
@article{arxiv.2203.07730,
title = {Computable paradoxical decompositions},
author = {Karol Duda and Aleksander Ivanov},
journal= {arXiv preprint arXiv:2203.07730},
year = {2022}
}
Comments
Overlap with Sections 6-8 of arXiv:1904.02640. To be published in International Journal of Algebra and Computation