迭代俱乐部射击与稳态逻辑可构造模型
逻辑
2026-03-10 v2
摘要
我们研究 （使用稳态逻辑构造的类似 的内模型）构造的迭代。我们证明可以在 的泛型扩张上力迫，以获得 的模型，并获得其中迭代 序列具有任意大序型且递减的模型。为此，我们证明了使用互稳态集的可数迭代俱乐部射击力迫法的分配律与稳态集保持性质，并引入互胖集的概念，其即使在不可数迭代下也能给出更好的分配律结果。
引用
@article{arxiv.2209.10247,
title = {Iterated club shooting and the stationary-logic constructible model},
author = {Ur Ya'ar},
journal= {arXiv preprint arXiv:2209.10247},
year = {2026}
}
备注
35 pages, revised