无限树上正则集测度的可计算性
计算机科学中的逻辑
2024-11-22 v2
摘要
Rabin 树定理给出了求解无限树上一元二阶逻辑可满足性问题的算法。此处我们求解该问题的概率变体。即，我们展示如何计算随机选取的树满足给定公式的概率。我们进一步表明该概率是一个代数数。这终结了一系列针对弱于完整一元二阶逻辑的形式系统的类似结果的研究。
引用
@article{arxiv.2304.12158,
title = {On the Computability of Measures of Regular Sets of Infinite Trees},
author = {Damian Niwiński and Paweł Parys and Michał Skrzypczak},
journal= {arXiv preprint arXiv:2304.12158},
year = {2024}
}