Building Models of Determinacy from Below

arXiv - MATH - Logic Pub Date : 2024-09-11 DOI:arxiv-2409.07156

Obrad Kasum, Grigor Sargsyan

引用次数: 0

Abstract

We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(\mathcal{P}(\mathbb{R}))$ in which there is no hod mouse with a measurable limit of Woodins.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

自下而上建立确定性模型

我们提出了一种类似于 $L$ 的构造，它可以产生$\mathsf{AD}_\mathbb{R}+$"$\Theta$是正则 "的最小模型。事实上，我们的构造可以产生任何$\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(\mathcal{P}(\mathbb{R}))$的模型，在这些模型中，不存在具有伍丁斯可测极限的hod mouse。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

arXiv - MATH - Logic

自引率

0.00%

发文量

期刊最新文献

Denotational semantics driven simplicial homology? AC and the Independence of WO in Second-Order Henkin Logic, Part II Positively closed parametrized models Neostability transfers in derivation-like theories Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section