arXiv:2604.22020 · v2

Interpolation above S4

首次提交 2026-04-24 03:20

版本更新 2026-10-29 22:17

雷达观测 2026-10-30 13:28

摘要

We complete Maksimova's classification of Craig and deductive interpolation in normal extensions of S4. In particular, we prove Craig interpolation for the six extensions of S4 for which the status of the property was still open. The proof strategy builds upon the ideas of Smoryński, but employs a novel approach using Fine's frame formulas for splitting clusters in transitive models.

作者备注：15 pages, 2 figures, 1 table