Cardinal arithmetic and Woodin cardinals
假设存在一个可测基数。如果\aleph_ω是一个强极限基数，但\aleph_ω的幂大于\aleph_{ω_1}，则存在一个具有Woodin基数的内模型。模需要的可测基数这回答了一个问题的Gitik和米切尔。
2002-03-08 math.LO
The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
University of Pittsburgh（匹兹堡大学）；Miami University（迈阿密大学）；IMPAN（波兰科学院数学研究所）
该研究通过强制选择公理，在满足ZF的最小初始段的Nairian模型中展示所有不可数基数上平方失败，并表明正则基数在HOD中为omega-强可测，从而揭示了HOD假设在ZFC中的不可证性。
2026-02-13 math.LO
Woodin for strong compactness cardinals
我们给强紧基数的Woodin的定义，强紧的Woodinised版本，我们证明了一个类似的Magidor的身份危机定理的第一强紧基数。
2018-09-27 math.LO
The Cofinal Strong Chang Conjecture from Models of Determinacy
通过修改Woodin的证明，表明从决定性模型使用P_max力迫得到的模型满足更强的共尾版本的强Chang猜想，并由此证明Namba力迫是半正常的且Θ^{UB}=ω_3的一致性，以及Woodin (*)_{UB}公理蕴含该猜想。
2026-06-02 math.LO
The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
假设$\boldsymbolΔ^1_3$ -确定性。结果表明，对于任何$x \geq_T M_1^{\#}$，$\mathrm{HOD}^{L[x]}$都是GCH的模型，实际上直到$ω_2^{L[x]}$，它都是Jensen-Steel核模型.
2017-11-08 math.LO
Core models in the presence of Woodin cardinals
证明了若存在n个Woodin基数以上的可测基数且M_{n+1} ^#不存在则K存在. K不是完全可迭代的，但是，它只对位于Woodin基数之间的某些树的堆栈是可迭代的。然而，如果M是V的一个Ω闭的π，则K^M是K的一个π，这仍然是真的。
2003-03-07 math.LO
Small forcing creates neither strong nor Woodin cardinals
在小的强迫下，几乎每一个强嵌入都是地面模型中一个强嵌入的提升。因此，小的强迫既不能产生强的也不能产生Woodin基数。
1998-08-29 math.LO
The consistency strength of determinacy when all sets are universally Baire
本文针对所有实数集合均为普遍 Baire 集时决定性公理的大基数强度，提出混合老鼠的新翻译程序，证明其恰等价于存在 Woodin 基数与强基数的共同极限。
2025-06-08 math.LO
A model of the Axiom of Determinacy in which every set of reals is universally Baire
本文基于导出模型构造，结合泛型迭代方法，证明了满足“每个实数集都是泛Baire集”的确定性公理模型的一致性强度对应存在武丁基数与强基数的极限基数的ZFC系统。
2025-03-10 math.LO
Easton's Theorem in the presence of Woodin cardinals
在$δ$是Woodin基数且$\GCH$成立的假设下，证明了如果$F$是从正则基数到基数的任意类函数，使得（1）$κ<\cf(F(κ))$，（2）$κ<λ$蕴涵$F(κ)\leq F(λ)$，（3）$δ$在$F$下闭，则存在保共尾的力迫扩张，其中$2^γ= F(γ)$对每个正则基数$γ<δ$，其中$δ$仍然是Woodin。与超紧基数[Men76]和强基数[FH08]的类似结果不同，不要求函数$F$是局部可定义的。
2012-07-27 math.LO
Power $Σ_1$ in Card with two Woodin cardinals
TU Vienna（维也纳工业大学）
本文研究了在Card谓词下，两个Woodin基数与幂集操作$Σ_1$可定义的相容性问题。
2026-03-11 math.LO
The covering lemma up to a Woodin cardinal
基数kappa是可数闭的，如果当mu < kappa时，mu^omega < kappa。假设不存在具有Woodin基数的内部模型，并且每个集合都有一个sharp。设K为核心模型。假设kappa是可数闭基数，alpha是K的后继基数，且kappa < alpha < kappa^+。那么cf（alpha）= kappa。特别地，K正确地计算可数闭奇异基数的后继。(The可数闭包的假设是不必要的;参见“Weak covering without countable closure”，W. J. Mitchell和E. Schimmerling，Math. Res. Lett.，第2卷，第5期，9月1995年）
1997-02-18 math.LO
Ideals and Strong Axioms of Determinacy
我们证明了以下两个理论是等相容的：（T）ZFC，CH和“在第一不可数基数上有一个稠密理想，使得如果j是与它相关联的类属嵌入，则它对序数的限制与类属对象无关”. (S)ZF，ADR和“Theta是一个正则基数。“本文的主要结果是T蕴涵S的极小模型存在。Woodin在未发表的著作中指出，S的一致性意味着T的一致性。我们也将给出这个结果的一个证明，它与我们的主要定理一起建立了T和S的等同性。我们的主要结果部分地解决了Woodin的一个著名猜想，并完全解决了一个可以追溯到90年代的主要核心模型归纳问题。
2022-09-20 math.LO
The Virtual Large Cardinal Hierarchy
该研究分析超强、Woodin、Berkeley基数的虚拟版本，给出虚拟Woodin基数的等价刻画，引入有限语言虚拟Vopenka原理并证明其相关等价性，完善虚拟大基数层级的理论研究。
2023-05-06 math.LO
A synthetic overview on some known characterizations of Woodin cardinals
本文基于研讨会幻灯片，综合介绍了 Woodin 基数的多种已知刻画（含 Ernest Schimmerling 的成果），并力求结构自洽，明确展示通常省略的证明细节并给出准确文献参考。
2024-03-23 math.LO
HOD in inner models with Woodin cardinals
我们分析了遗传序可定义集$\operatorname{HOD}$在$M_n(x)[g]$的图灵锥实数$x$，其中$M_n(x)$是典型的内部模型与$n$的Woodin基数建立在$x$和$g$是通用的$M_n(x)$的Lévy崩溃到其底部不可达的基数。我们证明了，假设$\boldsymbolΠ^1_{n+2}$ -决定性，对于一个图灵锥的真正$x$，$\operatorname{HOD}^{M_n(x)[g]} = M_n(\mathcal{M}_{\infty} | κ_\infty, Λ),$其中$\mathcal{M}_\infty$是一个直接限制的迭代$M_{n+1}$，$δ_\infty$是最小的Woodin基数在$\mathcal{M}_\infty$，$κ_\infty$是最少的不可达基数在$\mathcal{M}_\infty$以上$δ_\infty$，和$Λ$是一个部分迭代策略$\mathcal{M}_{\infty}$。还将表明，在相同的假设下，$\operatorname{HOD}^{M_n(x)[g]}$满足$\operatorname{GCH}$。
2021-01-16 math.LO
Mice with Woodin cardinals from a Reinhardt
本文证明若存在 Reinhardt 基数，则对任意传递集 X 和自然数 n，M_n(X) 存在且完全可迭代，且所有集合力迫扩张中射影决定性成立。
2024-02-06 math.LO
Chang models over derived models with supercompact measures
本文基于第三作者早期工作构造了带超紧测度的张型模型，扩张了特定hod鼠标的导出模型，证明其满足AD_R等性质，补充了Woodin的广义张模型结果。
2025-02-13 math.LO
A note on Woodin's HOD dichotomy
一个版本的Woodin的HOD二分法被证明假设存在的只有一个强紧基数。
2021-02-18 math.LO
Long games just beyond fixed countable length
本文提出了一种变长可数长度的游戏，并证明其分析确定性与特定Woodin基数的内模型存在性等价。
2026-01-07 math.LO
On the Woodin Construction of Failure of GCH at a Measurable Cardinal
令GCH成立，并令$j:V\longrightarrow M$是可定义的初等嵌入，使得$crit(j)=κ$，$^κM\subseteq M$和$κ^{++}=κ_{M}^{++}$。H. Woodin证明了存在一个保共尾的泛型扩展，其中$κ$是可测的，而GCH在这一点上失败了。这是通过使用科恩强迫的伊斯顿支持迭代将每个不可访问的$α\leqκ$的幂吹到$α^{++}$，然后在此之上添加另一个强迫来完成的。我们表明，它是足够的使用迭代强迫，后者强迫是不需要的。我们将不仅展示$κ^{++}=κ_{M}^{++}$的情况，而且展示每个后继序数$γ$，其中$0< γ< κ$，我们将展示当假设为$κ^{+γ}=κ_{M}^{+γ}$时的情况。
2017-06-25 math.LO
Strongly compact cardinals and ordinal definability
本文探讨了与Woodin的HOD猜想有关的几个问题。本文将Woodin的HOD二分定理的大基数假设从可扩基数改进为强紧基数。我们证明了，假设有一个强紧基数和HOD假设成立，有没有初等嵌入从HOD到HOD，解决了一个问题的Woodin。我们表明，HOD假设是等价的累积层次结构的水平的初等嵌入的唯一性。证明了HOD假设成立的充要条件是第一强紧基数以上的正则基数都有一个序数可定义的Omega-Jonsson代数。证明了如果HOD假设成立且HOD满足超幂公理，则每个超紧基数在HOD中是超紧的。
2021-07-01 math.LO
Jonsson Cardinals, Erdős Cardinals, and the Core Model
我们表明，每个琼森基数是拉姆齐在钢核心模型，只要这个模型存在，并没有模型与一个Woodin基数。这个基本结果在两个方向上得到了改进。首先，我们证明了相同的结果delta-Jonsson和delta-Erdos基数，其中delta是任何正则基数小于kappa。这些概念对应于Jonsson和Erdos基数，除了子模型或不变量集只需要有序型delta。三角洲-琼森红雀出现在固定塔强迫。其次，我们削弱了Steel core模型存在的假设，证明了如果宇宙是L[ \vec E]的泛型扩张，并且不存在具有Woodin基数的模型，那么模型L[E]可以取代Steel core模型。由此推论，如果L[ \vec E]是Woodin基数的极小模型，则L[ \vec E]中的每个delta-Jonsson基数都是delta-Erdos。
1997-06-20 math.LO
Determinacy and Jónsson cardinals in $L(\mathbb{R})$
假设$\mathsf{ZF}+\mathsf{AD}+V=L(\mathbb{R})$，并令$κ<Θ$为不可数基数。我们证明了$κ$是Jónsson，并且如果$\mathrm{cof}(κ)=ω$，则$κ$是Rowbottom。我们还建立了一些其他的划分性质。
2015-11-02 math.LO
Partial Tower Sealing
Institute of Mathematics of Polish Academy of Sciences（波兰科学院数学研究所）；University of North Texas（北德克萨斯大学）
本文研究了部分塔密封的性质，证明其在特定模型中成立，并指出其一致性强度低于ZFC加上Woodin极限的存在。
2025-12-06 math.LO
The large cardinals between supercompact and almost-huge
我分析了大基数在超紧基数和几乎巨大基数之间的层次结构。这些基数中的许多是通过修改跳高基数的定义来定义的。高跳基数被定义为初等嵌入$j: V \to M$的临界点，使得$M$在长度为$\sup\set{j(f)(κ) \st f: κ\to κ}$的序列下是封闭的。其他一些分析的基数包括超高跳基数、几乎超高跳基数、Shelah-超紧基数、Woodin-超紧基数、\Vopenka \基数、超紧基数和增强超紧基数。我根据一致性强度和隐含强度来组织这些基数。我还分析了超强基数，它比超紧基数弱，但与跳高基数有关。我的两个最重要的结果如下。\begin{itemize} \item \Vopenka\ cardinals are the same as Woodin-for-supercompactness cardinals. \item There are no excessively hypercompact cardinals. \end{itemize}此外，我证明了一些结果有关的高跳基数的强制，以及分析超高跳基数的Laver函数。\keywords{high-jump cardinals \and \Vopenka\ cardinals \and Woodin-for-supercompactness cardinals \and hypercompact cardinals \a…
2013-07-28 math.LO
Pcf theory and Woodin cardinals
我们证明了以下两个结果。定理A：设α是一个极限序数。假设2^{ |alpha| }<aleph_alpha且2^{ |alpha| ^+}< aleph_{|alpha|^+}，而aleph_alpha^{ |alpha| }> aleph_{|alpha|^+}。则对所有n<Ω且对所有有界X子集aleph_{|alpha|^+}，M_n^#（X）存在.定理B：设kappa是一个不可数共尾的奇异基数。如果{alpha<kappa| 2 ^alpha =alpha^+}是平稳的，也是共平稳的，那么对于所有n< omega和所有有界X子集kappa，M_n^#（X）存在。定理A回答了Gitik和Mitchell的问题，定理B给出了Gitik，M.，Prikry型力迫概念介绍，在：集合论手册，Foreman，Kanamori，Magidor（见问题4）。这些定理的证明结合了pcf理论和核心模型论。一路上，我们建立了一些ZFC结果的基数算术，由银定理的动机，我们得到的核心模型论的结果，由任务的动机，建立一个"稳定的核心模型。“这两组结果都是独立的。
2002-11-27 math.LO
More Derived Models in PFA
University of North Texas（北德克萨斯大学）；Miami University（迈阿密大学）
本文研究了在PFA下，Woodin基数极限处的衍生模型的性质，展示了其在不同条件下的行为，包括θ值的严格小于和AD_{ℝ}的满足情况。
2026-02-18 math.LO
Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
本文研究了在构造宇宙外通过序数时间 Turing 机进行计算的可识别集，证明了可计算集属于 L，而无限时间计算的可识别对象可达 Woodin 数字的层次。
2015-12-18 math.LO
Some results on large cardinals and the continuum function
给定一个Woodin基数$δ$，我表明，如果$F$是任何伊斯顿功能与$F"δ\subseteqδ$和$\GCH$举行，然后有一个保共尾强制扩展，其中$2^γ= F(γ)$为每个经常基数$γ<δ$，其中$δ$仍然是Woodin。我还提出了一个新的例子，其中迫使一定的行为的连续函数的经常基数，同时保持一个给定的大基数，需要大基数的力量超过了原来的大基数考虑。具体地说，我证明了存在一个$λ$ -超紧基数$κ$，使$\GCH$失败在$λ$是equiconsistent与存在的基数$κ$是$λ$ -超紧和$λ^{++}$ -高。我推广了一个定理的可测基数由于莱温斯基，它说，给定一个可测的基数，有一个强制延长保持可测性的$κ$，其中$κ$是最不正规的基数在$\GCH$举行。事实上，我表明，Levinski的结果可以扩展到许多其他大型基数的情况下。这项工作铺平了道路，许多额外的结果，类似于上述结果的Woodin基数和部分超紧基数。
2012-09-05 math.LO
Determinacy separations for class games
我们表明，假设弱的大基数，在适当的移动类中的游戏的背景下，封闭的确定性是严格弱于开放的确定性。证明相当于分析了存在于大基数假设下的某个水平的$L$，该假设弱于不可访问的。我们的论点是足够普遍的，以提供一个家庭的决定性分离的结果适用于任何设置的通用类是充分封闭的;例如，在三阶、七阶或$(ω+2)$阶算术中。我们还证明了适当的类游戏的博雷尔确定性的强度上的界限。这些结果回答了Gitman和Hamkins的问题。
2016-07-19 math.LO
Measures in Nairian models, I
UC Berkeley（加州大学伯克利分校）；IMPAN（波兰科学院数学研究所）
在AD⁺ + V = L(P(ℝ))假设下，该研究证明超幂公理在HOD_s中成立，分析奈里安模型含大量可测基数，解决Henle等人的问题，还构造出ZF中每个不可数基数均为奇异的模型。
2026-10-15 math.LO
Some mutually inconsistent generic large cardinals
改进了Woodin的一个结果，我们确定了几类单独相容但相互不相容的一般大基数公理。
2019-01-04 math.LO
The sharp for the Chang model is small
吴丁已经证明，如果有一个可测量的吴丁基数，那么在适当的意义上，张模型有一个尖锐的。我们生产，在较弱的意义上，一个尖锐的Chang模型只使用存在的基数$κ$有一个扩展的长度$κ^{+ω_1}$。
2017-04-29 math.LO
$Σ_1(κ)$-definable subsets of $\mathrm{H}(κ^+)$
我们研究了在大基数存在下的$Σ_1(ω_1)$ -可定义集（即满足某个含参数$ω_1$的$Σ_1$ -公式的集合）.我们的结果表明，Woodin基数和其上的可测基数的存在意味着没有实数的良序是$Σ_1(ω_1)$ -可定义的，$ω_1$的所有平稳子集的集合不是$Σ_1(ω_1)$ -可定义的，${}^{ω_1}ω_1$的每个$Σ_1(ω_1)$ -可定义的Bernstein子集的补集不是$Σ_1(ω_1)$ -可定义的.与此相反，我们表明，存在一个Woodin基数是兼容的存在一个$Σ_1(ω_1)$ -可定义的良好秩序的$\mathrm{H}({ω_2})$和存在一个$Δ_1(ω_1)$ -可定义的伯恩斯坦子集的${}^{ω_1}ω_1$。我们还表明，如果有无限多个Woodin基数和一个可测量的基数以上，那么就没有$Σ_1(ω_1)$定义的俱乐部过滤器的$ω_1$的均匀化。此外，我们证明了一个完美集定理的$Σ_1(ω_1)$可定义的子集${}^{ω_1}ω_1$，假设有一个可测基数和$ω_1$上的非平稳理想是饱和的。这些结果的证明使用迭代的一般超幂和Woodin的$\mathbb{P}_{\mathrm{max}}$ -强迫。最后，我们还证明了这些结果的一些变种的$Σ_1(κ)$ -可定义的子集的${}^κκ$，在这种情况下，$κ$本身具有一定的大基数属性。
2017-10-26 math.LO
New inner models from second order logics
本文定义由二阶逻辑可数子集片段产生的新内模型 C2(omega)，比较其与 C(aa) 的大基数强度，并研究 C2(omega, aa) 及 HOD1 与 HOD 同一性的独立性。
2025-08-30 math.LO
The extender algebra and $Σ^2_1$-absoluteness
我们提出了一个自包含的帐户伍丁的扩展代数和它的使用证明绝对性的结果，包括证明的$Σ^2_1$ -绝对性定理。我们还证明了Woodin基数的Woodin极限的内模型的存在意味着$\AD^+$的发散模型的存在。
2016-08-20 math.LO
Nairian Models
本文引入了决定性公理的Nairian模型层级，通过施力构造出满足特定ZFC组合及超紧基数性质的模型，并据此证明了迭代性猜想的失败及回答了等一致性等关键问题，揭示了内模型理论方法的扩展障碍。
2025-01-31 math.LO
Martin's measurable dilator
本文从 Martin 利用可迭代秩到秩嵌入证明 $\mathbfΠ^1_2$-决定性的论证中，提取并界定可测膨胀子这一大基数对象，以揭示其证明的结构本质。
2025-07-24 math.LO
The exact strength of generic absoluteness for the universally Baire sets
本文研究了泛Baire集的泛绝对性条件$\sf{Sealing}$的精确一致性强度，利用Woodin的$\sf{Core\\ Model\\ Induction}$技术证明其与$\sf{LSA-over-uB}$等一致，并分离出对应的精确大基数理论。
2025-06-27 math.LO
Tall cardinals in extender models
假设没有内部模型的Woodin基数，我们得到的$λ$ -高基数的扩展模型，可迭代的一个特征。特别是，我们证明了在这样的扩展模型，一个基数$κ$是一个高基数当且仅当它是一个强基数或可测极限强基数。
2021-04-12 math.LO
A universal weasel without large cardinals in V
我们证明了在ZFC +理论中不存在具有Woodin基数的内模型，存在一个普遍的黄鼠狼。这特别表明，人们不必假设V中存在大基数来证明存在这样的黄鼠狼。
2000-11-13 math.LO
The generalized continuum hypothesis above a strongly compact cardinal
Einstein Institute of Mathematics（爱因斯坦数学研究所）；The Hebrew University of Jerusalem（希伯来大学）
本文证明若κ为强紧基数且GCH在κ之下成立，则GCH整体成立，解答了Woodin的长期开放问题。
2026-10-08 math.LO
Determinacy from strong compactness of $ω_1$
在没有选择公理的情况下，“小”基数$ω_1$可以表现出通常与大基数相关的性质，例如强紧性和超紧性。对于强紧性的局部版本，我们说$ω_1$是$X$ -强紧的（其中$X$是任何集合），如果在$\mathcal{P}_{ω_1}(X)$上存在精细的可数完备测度。在$\mathsf{ZF} + \mathsf{DC}$中，我们证明了$ω_1$的$\mathcal{P}(ω_1)$ -强紧性和$\mathcal{P}(\mathbb{R})$ -强紧性分别与$\mathsf{AD}$和$\mathsf{AD}_\mathbb{R} + \mathsf{DC}$等相容，其中$\mathsf{AD}$表示决定性公理，$\mathsf{AD}_\mathbb{R}$表示实决定性公理.证明了$ω_1$的$\mathcal{P}(\mathbb{R})$ -超紧性比$\mathsf{AD}_\mathbb{R} + \mathsf{DC}$稍强，但其相容性强度没有精确计算.在没有$\mathsf{DC}$的情况下，在$\mathsf{AD}_\mathbb{R}$水平上也得到了等一致的结果.
2016-09-18 math.LO
Translation procedures in descriptive inner model theory
我们开发了一个基本的翻译过程，将hod鼠标转换为等效鼠标。与Steel和Zhu使用的翻译过程不同，我们的过程在粗略的设置中工作，而不假设AD。然而，该程序类似于Steel开发的程序。我们使用翻译程序来回答Trevor Wilson的一个问题。也就是说，我们表明，如果有一个固定类的lambda，使lambda是一个限制的Woodin基数和衍生的模型在lambda满足AD的Solovay序列的第一个成员是小于θ然后有一个传递模型M，使M包含的序数和满足有一个适当的类的Woodin基数和一个强基数。
2021-10-12 math.LO
On forcing projective generic absoluteness from strong cardinals
W.H. Woodin证明，如果$κ_1 < \cdots < κ_n$是强基数，那么在将$2^{2^{κ_n}}$压缩为可数之后，两步${\bfΣ}^1_{n+3}$类属绝对性成立。我们表明，这个数字可以减少到$2^{κ_n}$，和$κ_n^+$的情况下$n = 1$，但不能进一步减少到$κ_n$。
2018-07-06 math.LO
The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
本文在超紧基数与HOD假设的前提下，证明V_κ中存在真类多在HOD中可测的正则基数，推导出Woodin局部普遍性定理，揭示了HOD假设下两类大基数的差异及V中大基数向HOD的局部反映特性。
2018-01-31 math.LO
On the derived models of self iterable universes
证明了如果宇宙是自迭代的，$κ$是Woodin基数的不可达极限，那么在导出的模型中，$AD_R + "Θ$在$κ$处是正则的.证明是无精细结构的，并且只假设迭代树和迭代策略的基本知识。我们的证明可以被看作是众所周知的事实“$AD_R + "Θ$是规则的”的无精细结构版本，在具有Woodin基数不可接近极限的hod小鼠的衍生模型中是真的（例如参见[6]）。然而，证明使用了一组不同的想法，并且更一般。
2021-11-11 math.LO
On a Question of Hamkins and Löwe on the modal logic of collapse forcing
本文回应Hamkins与Löwe关于集合论塌缩力迫模态逻辑的疑问，给出该性质两个弱版本的等一致性结果，并证明完整Hamkins-Löwe性质的一致性可由带上方不可达基数的Woodin基数的一致性推出。
2024-07-09 math.LO
NS saturated and $Δ_1$-definable
我们证明了在一个Woodin基数$M_1$的正则内模型存在的假设下，存在一个$\ZFC$模型，其中$\NS$是$\aleph_2$ -饱和的和$Δ_1$ -可定义的，其中$ω_1$是一个参数，这回答了Sy-David Friedman和Liuzhen Wu的一个问题.我们还表明，从一个任意宇宙的Woodin基数，有一个模型与$\NS$饱和和$Δ_1$ -可定义的阶梯系统$\vec{C}$和一个完整的Suslin树$T$作为参数。这两个结果都依赖于一种新的编码技术，其演示是本文的主要目标。
2021-12-15 math.LO
On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
本文结合 Woodin 的 Σ²₁ 基定理与 Vopěnka 定理，证明在存在真类多 Woodin 基数时，V 中为真的 (Σ²₁)^uB 命题在 HOD 中也为真，并探讨了反向绝对性及其与 Ultimate L 公理的关系。
2025-05-08 math.LO
Determined Admissible Sets
本文从$ω^2$ Woodin基数区域的假设出发，证明了KP + AD $_\mathbb{R}$存在一个包含所有实数的传递模型.
2019-10-09 math.LO
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
该数理逻辑研究探讨力迫公理下$\omega_1$非驻定理想的可定义性，证明$\text{BMM}$加武丁基数、$(*)$-公理下其不可被$\Sigma_1(\omega_1)$定义，同时构造出$\text{BPFA}$、$\text{MA}$等公理下其可定义甚至饱和的集合论宇宙。
2022-08-10 math.LO
Local mantles of $L[x]$
本文在 Woodin 基数与真类多可测基数假设下，利用 Woodin 对 HOD 的分析方法研究 $L[x]$ 的局部 $κ$-mantle，证明其满足 ZFC+GCH 并含 Woodin 基数，且为完全可迭代策略 mouse。
2025-05-12 math.LO
