绝对无选择的证明
Absolutely Choiceless Proofs
摘要：
我们研究了一个著名的技术，使用绝对性给选择自由的证明，一些语句是已知的可证明的选择公理。这个想法是把问题简化为一个内部模型，在这个模型中，选择公理成立，并使用绝对性。我们研究的复杂性的句子，这种技术可以应用到，并表明，许多定理在基本的分区演算有足够的复杂性，这种技术的应用。
英文摘要：
We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduce the problem to an inner model where the axiom of choice holds and use absoluteness. We examine the complexity of the sentences that this technique can be applied to, and show that many of the theorems in basic partition calculus have the adequate complexity for this technique to apply.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
