Martin极大值与非平稳理想
Martin's maximum and the non-stationary ideal
摘要：
我们分析了MM下aleph_1处的非平稳理想和俱乐部滤波器。
英文摘要：
We analyze the non-stationary ideal and the club filter at aleph_1 under MM.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Martin极大值与对角反射原理
Martin's Maximum and the Diagonal Reflection Principle
证明了对于$[ ω_2 ]^ω$的平稳子集，Martin极大值并不蕴含对角反射原理.
math.LO
有界马丁最大值与多个证人
Bounded Martin's Maximum with Many Witnesses
我们研究了有界Martin极大值的一个加强，它断言：如果一个关于ω_2 ^V在一个保持扩张的平稳集中成立，那么对于一个序数小于ω_2的平稳集，它在V中成立。我们证明，该原理隐含了全局投影确定性，因此在\mathsf{BMM}的\mathbb{P}_{max}模型中不成立，但该原理对使ω_2 ^V可列共尾的强迫的限制在\mathsf{BMM}模型中确实成立，尽管它不是\mathsf{BMM}的结果。
math.LO
马丁的最大值
Martin's maximum revisited
我们提出了几个结果有关的一般理论的固定塔强迫Woodin强迫公理。主要结果是：强迫公理MM^{++}（也称为MM^{+ω_1}）决定了H_{ω_2}关于平稳集保持强迫的P_2-理论.我们认为，这是一个接近最佳的推广H_{ω_2}的Woodin的绝对性结果L（R）。
math.LO
薄超滤子、P-阶层与MArtin公理
Thin ultrafilters, P-hierarchu and MArtin Axiom
在MA下，我们证明了对于$ω$上的薄集的理想$\cal I$和任意序数$γ\leq ω_1$，存在一个${\cal I}$ -超滤子（在Baumgartner意义下），它属于P-超滤子族的类${\cal P}_γ$.由于这类${\cal P}_2$-超滤子与一类P-点重合，我们的结果推广了Flašková的定理：存在非P-点的${\cal I}$ -超滤子.它也与一个定理有关，该定理指出，在CH下，对于$ω$上的任何高P-理想$\cal I$，都存在一个${\cal I}$ -超滤子，但薄集的理想不是P-理想。
math.LO
平稳集分裂博弈
The Stationary Set Splitting Game
\emph{stationary set splitting game}是两个参与者\unspls和\spl之间的长度为$ω_{1}$的完全信息博弈，其中\unspls选择固定的许多可数序数，而\spls试图不断地将它们分成两个固定的部分。我们表明，在ZFC中，有可能迫使任何一个玩家采取获胜策略，或者两者都不采取。这给出了一个新的反例，$Σ^{2}_{2}$极大性与谓词的非平稳理想$ω_{1}$，和一个例子，一个一贯未定的游戏长度$ω_{1}$与支付定义在二阶一元逻辑的顺序。我们还表明，游戏的确定性是符合马丁的公理，但不是马丁的最大值。
math.LO
P_kappa（lambda）上非平稳理想的无处陡性
Nowhere precipitousness of the non-stationary ideal over P_kappa(lambda)
我们证明了如果lambda是一个强极限奇异基数，kappa是一个正则不可数基数< lambda，那么P_{kappa} lambda上的非平稳理想NS_{kappa lambda}是不陡的.我们还表明，在相同的假设下，P_{kappa} lambda的每一个平稳子集可以划分成lambda^{< kappa}不相交平稳集。
math.LO
更多相关论文收起更多论文
Forcing axioms and the complexity of non-stationary ideals
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $ω_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on $ω_2$ to sets of ordinals of countable cofinality is $Δ_1$-definable by formulas with parameters in $H(ω_3)$. The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on $ω_2$ and strong forcing axioms that are compatible with CH. Fin…
math.LO
非平稳理想的复杂度
The complexity of non-stationary ideals
该研究概述了集合论中不可数正则基数的非平稳理想能否用特定参数的$\Pi_1$公式定义的相关结果，指出该问题与集合论当前多个核心研究主题深度关联。
math.LO
马丁最大值和塔强迫
Martin's Maximum and tower forcing
文献中有几个例子表明基数$κ$的类紧性质导致某些具有临界点$κ$的一般超幂的不良行为（当$κ$是超紧基数时，伯克\cite{MR1472122};当$κ= ω_2$存在强强迫公理时，福尔曼-马吉德\cite{MR1359154}）。我们证明了这种现象的更多实例。首先，反射原理（RP）意味着，如果$\vec{\mathcal{I}}$是一座理想之塔，集中在$ω_1$的类$GIC_{ω_1}$上-猜测，内部俱乐部集，那么$\vec{\mathcal{I}}$不是预饱和的（集合是$ω_1$ -猜测，当且仅当其传递崩溃具有$ω_1$ -Hamkins中定义的逼近属性时）\cite{MR2540935}）。这个定理，结合\cite{VW_ISP}的工作，表明如果$PFA^+$或$MM$成立，并且有一个不可接近的基数，那么有一个塔的临界点$ω_2$是不预饱和的;此外，这个塔是显着不同的非预饱和塔已知（由福尔曼-马吉德\cite{MR1359154}）存在于所有模型的马丁的最大值。强反射原理（SRP）和$ω_2$中的树属性的结合对理想塔有类似的影响，这些理想塔集中在更广泛的$ω_1$类$GIS_{ω_1}$-猜测，内部固定集。最后，我们表明，“presaturated”一词不能被替换为“陡峭的”在上述定理：马丁的最大值（这意味着SRP和树属性在$ω_2$）是一致的陡峭塔$GIC_{ω_1}$。
math.LO
关于可接近性理想的反思的一些结果
Some consequences of reflection on the approachability ideal
我们在奇异κ以下正则基数的大基数性质的背景下研究了可逼近理想I[κ^+].作为一个指导性例子，考虑可逼近理想I[ \aleph_{ω+1} ]，假设\aleph_ω是强极限。在这种情况下，我们得到俱乐部的许多点在\aleph_{ω+1}的共尾性\aleph_n的一些n>1是可接近的假设联合反射的可数家庭的平稳子集的\aleph_n。这个反射原理在Martin极大值下对所有n>1成立，并且对每个n>1都是等相容的，其中\aleph_n在L中是弱紧的。这表征了马丁极大值模型中的可逼近理想I[ \aleph_{ω+1} ]的结构。
math.ACmath.LO
关于奇异平稳性I（互平稳性和基于理想的方法）
On Singular Stationarity I (mutual stationarity and ideal-based methods)
我们研究了奇异平稳性的背景下，几个理想为基础的建设。结合强理想、超紧嵌入和Prikry型偏序集的方法，得到了关于互平稳集的三个相容性结果，并回答了Foreman和Magidor关于第一不可数基数$\aleph_n$，$1 \leq n < ω$上平稳序列的一个问题.
math.LO
Cardinal characteristics on $κ$ modulo non-stationary
For $κ$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal.
math.LO
关于大基数与广义Baire空间
On large cardinals and generalized Baire spaces
在大基数假设下，研究了固定基数$κ$上非平稳理想模限制等价关系之间的Borel约简。证明了$E^{λ^{++},λ^{++}}_{λ\text{-club}}$的相容性，证明了在$(λ^{++})^{λ^{++}}$空间中模非定常理想限制于$S^{λ^{++}}_λ$的等价关系连续可约为$E^{2,λ^{++}}_{λ^+\text{-club}}$，在$2^{λ^{++}}$空间中模非定常理想限制于$S^{λ^{++}}_{λ^+}$的等价关系.然后证明了$E^{2,κ}_{reg}$的相容性，即在$2^κ$空间中模等价于正则基数的非平稳理想的关系是$Σ_1^1$ -完备的.最后，我们证明了对于$Π_2^1$ -不可描述的$κ$，基数$κ$的稠密线性序之间的同构关系是$Σ_1^1$ -完备的。
math.LO
无极大集的可逼近理想
The Approachability Ideal Without a Maximal Set
我们发展了一个有限条件的强迫偏序集，它在给定的平稳集上加上一个部分平方序列，并以适当的模型集作为边条件。然后，我们开发了一种侧条件产品强迫同时添加多个平稳集上的部分平方序列。我们证明了这类强迫的某些子项具有$ω_1$ -近似性质。我们应用这些想法来证明，假设一个极大的Mahlo基数的一致性，它是一致的，可接近性理想$I[ω_2]$没有一个最大集模俱乐部。
math.LO
梯子系统染色的均匀化与平稳预 caliber 力迫
Uniformization of ladder system colorings and stationary precaliber forcings
本文研究了梯子系统染色均匀化变体与 Martin 公理片段的关系，提出了平稳预 caliber $\aleph_1$ 性质的力迫公理，并证明了其与 $σ$-链接偏序集力迫公理的分离。
math.LO
Negative results on precipitous ideals on omega_1
We show that in extender models there are no generic embeddings with critical point $ω_1$ that resemble the stationary tower at the second Woodin cardinal.
math.LO
猜棒、平稳反射和着色定理
Club-guessing, stationary reflection, and coloring theorems
我们得到强染色定理在继承人的奇异基数从失败的某些情况下，同时反映的平稳集。一路上，我们在俱乐部猜测和理想的一般理论中建立了新的结果。
math.LO
射影良序与非平稳理想
Projective Wellorders and the Nonstationary Ideal
我们表明，在$M_1^{\#}$存在的假设下，存在一个模型，在该模型上的限制非平稳理想$\hbox{NS} \upharpoonright A$是$\aleph_2$饱和的，$A$是$ω_1$的平稳共平稳子集，而完全非平稳理想$\hbox{NS}$可以$Δ_1$定义与$K_{ω_1}$作为一个参数。进一步，我们表明，再次假设的$M_1^{\#}$的存在，有一个模型的集合论，使$\hbox{NS}$是$\aleph_2$ -饱和，使有光面$Σ^1_4$ -可定义的良好秩序的现实。这个结果在存在可测基数的情况下是最优的。
math.LO
梯级饱和与力迫公理
Echeloned saturation and forcing axioms
针对Paul Larson的问题，研究结合不同力迫公理与集合论假设，证明特定条件下ℵ₁上无弱Laver理想，以及Baumgartner公理下ℵ₂上无Laver理想。
math.LO
