论文标题
可计算的悖论分解
Computable paradoxical decompositions
论文作者
论文摘要
我们证明了Hall的后宫定理的可计算版本，并将其应用于Tarski替代定理的可计算版本。
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
加入微信交流群
扫码加入学术交流群，获取更多资源