序数不可数理论的布尔单子论是可判定的
逻辑
2026-03-10 v2
摘要
关于 的单子论在布尔集合上进行量化是可判定的。 集的布尔组合构成的集合构成布尔集的初等子结构。在判定性假设下，证明可推广至更大的集合类。
引用
@article{arxiv.2410.00887,
title = {The Borel monadic theory of order is decidable},
author = {Sven Manthe},
journal= {arXiv preprint arXiv:2410.00887},
year = {2026}
}