arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1107.4641math.LO
收藏

McNaughton定理的一个简单证明

A Simple Proof of McNaughton Theorem

Eduardo J. Dubuc, Yuri Poveda

摘要:

本文给出了McNaughton定理的一个非常简单的证明,几乎完全脱离了定义,同时我们注意到这个定理不依赖于张的完备性定理。

英文摘要:

In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's completeness theorem.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑