学术文献库

论文标题

可计算的悖论分解

Computable paradoxical decompositions

论文作者

Duda, Karol, Ivanov, Aleksander

论文摘要

我们证明了Hall的后宫定理的可计算版本，并将其应用于Tarski替代定理的可计算版本。

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