首页/论文/0705.4131

arXiv 0705.41312007-05math.LO

无限制模型在无法访问

No limit model in inaccessible

Saharon Shelah

发表信息：: in: {Models, logics, and higher-dimensional categories} (2011) 277--290

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们的目标是改善负面结果，即极限模型的不存在，以及math.LO/0609636中的类属对属性的失败，以达到那里所承诺的不可访问的lambda。其动机是在[Sh：F756]中，正结果对于lambda是可测量的，因此是不可接近的，而在数学中，LO/0609636中的负结果仅在非强极限基数上获得。

英文摘要：

Our aim is to improve the negative results i.e. non-existence of limit models, and the failure of the generic pair property from math.LO/0609636 to inaccessible lambda as promised there. The motivation is that in [Sh:F756] the positive results are for lambda measurable hence inaccessible, whereas in math.LO/0609636 in the negative results obtained only on non-strong limit cardinals.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

与不可达lambda的空理想类似。部件I

A parallel to the null ideal for inaccessible lambda. Part I

众所周知，用（正则）基数lambda > aleph_0替换aleph_0并要求理想是lambda^+-完全的，可以推广稀疏理想。但是我们能推广零理想吗？在强迫方面，这意味着找到一个类似于随机实强迫的力迫概念，用lambda代替aleph_0，因此要求它是（<lambda）-完备的。当然，我们也欢迎将随机实强迫的性质推广的其他性质。回到理想（而不是强迫），我们可以看看布尔代数的布尔-博雷尔集模的理想。令人惊讶的是，我们得到了一个积极的=存在的答案λ a“温和”的大基数：弱紧的。我们应用此方法来获得此类lambda的基数不变量的一致性结果。我们将处理其他红衣主教更多的财产有关的力迫概念在一个延续。

2017-01-18math.LO

关于CON（Dominating_lambda > cov_λ（meagre））

On CON(Dominating_lambda > cov_λ(meagre))

我们证明的一致性：对于合适的强不可达基数λ，控制数，即λ ^λ的共尾性严格大于cov（meagre_lambda），即覆盖它所需的2 ^λ的无处稠密子集的最小数目。这回答了Matet的一个问题。

2022-09-04math.LO

奇异密度Lindelof空间

Lindelof spaces of singular density

一个基数lambda被称为Ω-不可达的，如果对于所有的mu < lambda，我们有mu^omega<lambda。我们发现，对于每一个欧米茄-不可达基数lambda有一个CCC（因此基数和共尾性保持）强迫，增加了一个遗传Lindelof正则空间的密度lambda。这扩展了我们之前的一个类似结果，该结果只适用于正则lambda。

2007-02-11math.GNmath.LO

关于非平稳理想2的一些结果

Some results on nonstationry ideal 2

这是“关于非平稳理想的一些结果”的继续。本文证明了正则λ的NS_λ ^+的陡度上界是精确的，证明了NS_kappa ^aleph_0在不可达kappa上的饱和性至少要求o（kappa）=kappa^++，并将不可达kappa的NS_kappa陡度强度的上界降低到非常接近下界的程度.

1994-12-06math.LO

在CON上（${\mathfrak d}_λ>$覆盖$_λ$（少量））

On CON(${\mathfrak d}_λ>$ cov$_λ$(meagre))

我们证明了：对于合适的强不可达基数λ，^{lambda}lambda的共尾性严格大于cov_lambda（meagre），即覆盖它所需的^{lambda}2的无处稠密子集的最小数量。这回答了Matet的问题。

2020-02-24math.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}不相交平稳集。

2001-02-06math.LO

阿贝尔群类中万有成员的不存在性

Non-existence of universal members in classes of abelian groups

证明了若mu^+< lambda =cf（lambda）< mu^{aleph_0}，则不存在泛约化无挠的阿贝尔群.类似地，如果aleph_0< lambda < 2^{aleph_0}。证明了若2^{aleph_0}< mu^+< lambda =cf（lambda）< mu^{aleph_0}，则在lambda中不存在泛约化可分交换p-群. (Note：如果lambda = lambda^{aleph_0}或如果lambda为强极限，cf（mu）= aleph_0< mu），则两个结果均失败。

1998-08-15math.LO

{check I}_theta [lambda]和pcf的坏集的非反射

Non-reflection of the bad set for {check I}_theta[lambda] and pcf

我们在这里重新考虑以下相关的pcf问题，并取得了一些进展：（Q1）关于理想的{check I}_kappa [lambda]，我们有多少反射的坏集S ^{bd}_{lambda，kappa} subseteq {delta <lambda：cf（delta）= kappa}假设它是定义良好的？(Q2)对于一个关于kappa的理想J，当f =<f_alpha：alpha <_J-递增且共尾于（prod limits_{i< kappa} lambda_i，<_J）时，S ^{bd}_J [f]，S ^{ch}_J [f]有多大？<lambda >(Q3)有免费的黑匣子吗？

2012-06-23math.LO

关于逆Gamma-系统和lambda奇异的L_{infty,lambda} -等价、非同构模型的个数

On inverse gamma-systems and the number of L_{infty,lambda}-equivalent, non-isomorphic models for lambda singular

设lambda是一个共尾性kappa不可数的奇异基数。对于基数为λ的模型M，令No（M）表示基数为λ的模型N的同构类型的数量，这些类型是L_{infty lambda} -等价于M。在[Sh：189]中，考虑了阿贝尔群的逆卡帕系A及其某种商极限Gr（A）/Fact（A）.证明了对任意基数μ，存在逆kappa-系A，使得A由基数至多为μ ^kappa的阿贝尔群组成，且卡（Gr（A）/Fact（A））= μ.在[Sh：228]中证明了逆卡帕系统与No的可能值之间的严格联系。在本文中，我们显示：对于每个非零的mu <= λ ^kappa，存在具有基数<λ的阿贝尔群的逆kappa系统A，使得card（Gr（A）/Fact（A））= mu（假设对于所有θ λ，2 ^kappa <λ和θ ^{< kappa}<λ），具有关于No的可能值的明显的新结果。具体地< lambda when mu >，当对于每一个θ <λ，θ ^kappa <λ时，情况No（M）= λ是可能的。

1998-07-15math.LO

一种极化划分关系与GCH的失效

A polarized partition relation and failure of GCH

主要结果是，对于不满足连续统假设（即2 ^lambda> lambda^+）的lambda强极限奇异，极化分割定理成立。

1997-06-15math.LO

关于群的逆极限的导数的基数

On cardinalities in quotients of inverse limits of groups

设λ是aleph_0或共尾性aleph_0的强极限。设（G_m，p_{m,n}：m =< n<omega）和（H_m，p^ t_{m,n}：m=< n < omega）是基数小于lambda的群的射影系，并设对任意n个<omega there is a homomorphism h:H_n-->G_n使得所有图可交换.如果对于每个μ <λ，存在（G_omega中的f_i：i<μ）使得对于不同的i，j，我们有：f_i f_j^{-1}不在h_omega（H_omega）中，则存在（G_omega中的f_i：i<2 ^λ）使得对于不同的i，j，我们有f_i f_j^{-1}不在h_omega（H_omega）中。

1999-11-28math.LO

密度最多是正方形的扩展

Density is at most the spread of the square

我们证明了如下结果：设B是一个无限布尔代数且lambda=d（B）.则s（B*B）$, i.e. s(uf(B)xuf(B))>= lambda$（如果λ限值-获得）

2007-08-15math.LO

相依T与极限模型的存在性

Dependent T and existence of limit models

线性订单类是否具有所谓的（lambda，kappa）-极限模型（的变体之一）？它必然是唯一的，并且自然地假设G.C.H.的某些实例。我们得到一些正的，即存在性结果。更一般地说，设T是一个完备的一阶理论，为简单起见，假设G. C. H.，对于正则的lambda > kappa > |T|，除了稳定的T之外，T是否有a（lambda，kappa）-极限模型（的变体）？对于某些，是的，稠密线性序理论，对于某些，否。此外，对于独立T，我们得到否定的，即不存在的结果。我们更多地处理线性订单。

2017-08-07math.LO

关于自迭代宇宙的导出模型

On the derived models of self iterable universes

证明了如果宇宙是自迭代的，$κ$是Woodin基数的不可达极限，那么在导出的模型中，$AD_R + "Θ$在$κ$处是正则的.证明是无精细结构的，并且只假设迭代树和迭代策略的基本知识。我们的证明可以被看作是众所周知的事实“$AD_R + "Θ$是规则的”的无精细结构版本，在具有Woodin基数不可接近极限的hod小鼠的衍生模型中是真的（例如参见[6]）。然而，证明使用了一组不同的想法，并且更一般。

2021-11-11math.LO

linear orders产物中的抗链

Antichains in products of linear orders

1.对于许多正则基数lambda（特别是对于奇异强极限基数的所有后继者，以及对于奇异Ω极限的所有后继者），对于{2，3，4，.}中的所有n，存在一个线性序L使得L ^n没有基数为lambda的（不可比性-）反链，而L ^{n +1}有基数为lambda的反链。2.对于任何非减序列（lambda2，lambda3，.）对于无限基数，存在一个线性序L使得L ^n有基数为lambda_n的反链，但没有基数为lambda_n ^+的反链是相容的。

1999-02-08math.GNmath.LO