期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 175, 期 1, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.apal.2023.103358
关键词
Inner models; Cofinality logic; Woodin cardinal; Stationary tower; Generic absoluteness
We have proved the theory of constructing models using finitely many cofinality quantifiers - C*(lambda 1,...,lambda n) and C*(-closed sets.
We prove that the theory of the models constructible using finitely many cofinality quantifiers - C & lowast;(lambda 1,...,lambda n) and C & lowast;(-closed sets.(c) 2023 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据