平稳逻辑的强向下Löwenheim-Skolem定理,III——混合支撑迭代
逻辑
2021-07-07 v1
摘要
继[Fuchino, Ottenbreit and Sakai[9, 10]]与[Fuchino and Ottenbreit[11]]之后,我们进一步研究反射原理与平稳逻辑的Löwenheim-Skolem定理之间的联系。本文主要分析由超紧长度的混合支撑迭代并随后坍缩另一个超紧基数使其变为所得到的模型中的情形。我们证明了,除其他结果外,具有小特征拓扑空间不可度量化的反射降至独立于[Fuchino, Ottenbreit and Sakai[9, 10]]与[Fuchino and Ottenbreit[11]]中研究的反射性质。
引用
@article{arxiv.2107.02577,
title = {Strong downward L\"owenheim-Skolem theorems for stationary logics, III -- mixed support iteration},
author = {Sakaé Fuchino and André Ottenbreit Maschio Rodrigue and Hiroshi Sakai},
journal= {arXiv preprint arXiv:2107.02577},
year = {2021}
}