关于对称扩张的模态逻辑
逻辑
2026-05-08 v1
摘要
对称扩张可视为强制的一般化，从而产生一个包含有和没有选择公理的更丰富的模型宇宙。我们可以利用模态逻辑来研究这一宇宙的结构。特别是，我们定义了选择切换的概念，并指出任何独立的选择切换系统本身不能来自任何标准的按钮独立系统。
引用
@article{arxiv.2605.05462,
title = {A note on the modal logic of symmetric extensions},
author = {Hope Duncan},
journal= {arXiv preprint arXiv:2605.05462},
year = {2026}
}
备注
10 pages