Computable paradoxical decompositions

Full-text links:

Download:

math.LO

(Submitted on 15 Mar 2022)

Abstract: We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.

Comments:	Overlap with Sections 6-8 of arXiv:1904.02640. To be published in International Journal of Algebra and Computation
Subjects:	Logic (math.LO); Group Theory (math.GR)
MSC classes:	20F10, 03D45
Cite as:	arXiv:2203.07730 [math.LO]
	(or arXiv:2203.07730v1 [math.LO] for this version)

From: Karol Duda [view email]
[v1] Tue, 15 Mar 2022 08:53:05 GMT (13kb)