模态逻辑中的极大性原理与选择公理
逻辑
2024-12-19 v1
摘要
我们研究了几种极大性原理的集合论强度，这些原理在模态逻辑和直觉主义逻辑的研究中发挥着重要作用。我们重点关注著名的 Fine 和 Esakia 极大性原理，给出了它们各自的两种表述，并证明了较强的表述等价于选择公理（AC），而较弱的表述等价于布尔素理想定理（BPI）。
引用
@article{arxiv.2412.13706,
title = {Maximality Principles in Modal Logic and the Axiom of Choice},
author = {Rodrigo Nicolau Almeida and Guram Bezhanishvili},
journal= {arXiv preprint arXiv:2412.13706},
year = {2024}
}
备注
19 pages