某些开集格的一阶理论
逻辑
2023-06-22 v3 计算机科学中的逻辑
摘要
我们证明，在某些自然拓扑空间中，开集格的一阶理论与二阶算术是 -等价的。我们还证明，对于许多自然可计算度量空间和可计算域，有效开集格的一阶理论是不可判定的。此外，对于几个重要空间（例如 ，，以及域 ），该理论与一阶算术是 -等价的。
引用
@article{arxiv.1705.04564,
title = {First Order Theories of Some Lattices of Open Sets},
author = {Oleg Kudinov and Victor Selivanov},
journal= {arXiv preprint arXiv:1705.04564},
year = {2023}
}