Computable paradoxical decompositions
arXiv:2203.07730
Abstract
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
Overlap with Sections 6-8 of arXiv:1904.02640. To be published in International Journal of Algebra and Computation