広く有限モデル性を言う定理
Sobolovの定理: 1変数論理式による中間論理の拡張
Bullの定理: $ \mathrm{NExt}(\mathbf{S4.3})