首页/论文/1104.1491

arXiv 1104.14912011-04-08math.LO

（kappa，theta）-弱正态性

(kappa,theta)-weak normality

Shimon Garti, Saharon Shelah

备注：: 13 pages
发表信息：: JMSJ 64,2, April 2012, pages 549-559
DOI：: 10.2969/jmsj/06420549

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们刻画了超滤子除基数乘积的小基数情形。我们发展了弱正态性的概念。我们包括一个应用到布尔代数。

英文摘要：

We characterize the situation of small cardinality for a product of cardinals divided by an ultrafilter. We develop the notion of weak normality. We include an application to Boolean Algebras.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

{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

a.e. c中序列局部性的最大失效

Maximal failures of sequence locality in a.e.c

我们对a.e.c.的例子感兴趣。其中合并具有关于类型的一些（极端）行为。注意，我们处理的k是序列局部的，即对于长度为正则基数的递增链是局部的（对于类型，所有限制的相等意味着相等）。.对于任何基数θ>= aleph_0，我们构造一个a.e.c.与L.S.T.合并(k)= θ，|tau_K| = θ使得{kappa：kappa是正则基数且K不是（2^kappa，kappa）-序列-局部}是最大的。事实上，我们对这类基数有一个直接的刻画：正则kappa使得不存在一致kappa^+-完全超滤子。我们还证明了一个类似于“类型的（2^kappa，kappa）-紧”的结果.

2019-02-06math.LO

利用强紧基数的一个划分关系

A partition relation using strongly compact cardinals

如果kappa是强紧的，lambda > kappa是正则的，则（2^{< lambda}）^+ -->（lambda+eta）^2_theta对eta成立，theta<kappa。

2001-03-24math.LO

重新审视广义连续统假设

The Generalized Continuum Hypothesis revisited

我们认为，我们解决了希尔伯特的第一个问题，积极（重新制定后，只是为了避免已知的一致性结果），并给出了一些应用。令lambda的修正kappa幂，记作lambda^{[kappa]}，是lambda的子集族的最小基数，每个子集的基数为kappa，使得基数为kappa的lambda的任何其他子集都包含在该族的<kappa成员的并集中。主定理说，几乎总是这个修正的功率等于λ。我们的主要结果是修正的GCH定理：假设我们固定一个不可数的强极限基数mu（即，mu>aleph_0，（对于所有θ <mu）（2 θ <mu）），例如mu=beth_omega。然后，对于每个lambda >= mu，对于某个kappa<mu，我们有：（a）kappa <= theta < mu => lambda^{[theta]}= lambda和（b）有一个lambda子集的族P，每个lambda子集的基数< mu，使得每个基数mu的lambda子集等于P的< kappa成员的并集。

1998-09-15math.LO

可展开的基数和GCH

Unfoldable cardinals and the GCH

Andres Villaveces在去年引入了可展开的基数，他巧妙地将弱紧的概念扩展到了更大的背景中，从而产生了一个大基数概念，可展开性，具有弱紧的一些感觉和味道，但具有更大的一致性强度。具体地说，当对于包含kappa作为元素的大小为kappa的任何传递结构M，存在具有临界点kappa的初等嵌入j：M-->N，其中j（kappa）至少为θ时，kappa是θ-可展开的。定义kappa是完全不可折叠的，那么，当它对每个θ都是θ-不可折叠的。在本文中，我表明，嵌入与这些unfolded基数是服从一些相同的提升技术，适用于弱紧凑的嵌入，增强的方法，从强基数的上下文中。使用这些技术，我表明，通过设置强制任何模型的ZFC，任何给定的不可折叠的基数Kappa可以坚不可摧的强制添加任何数量的科恩子集Kappa。这一结果与人们的期望相矛盾，相反，人们认为需要阶级强迫。

1999-09-04math.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

更多相关论文收起更多论文

P_κ（λ），I上正规理想的共尾性

Cofinality of normal ideals on P_κ(λ), I

给定序数δ <= lambda和基数θ <= kappa，P_kappa（lambda）上的理想J称为[delta]^{<θ}-正规的，如果给定B_e in J，其中e in P_theta（delta），P_kappa（lambda）中所有a的集合，使得对于P_{|a cap theta|}中的某些e，a在B_e中我们给出了这种理想存在的充要条件，我们描述了至少一个，我们计算它的共尾性。

2004-04-18math.LO

弱大基数的pcf在初等嵌入中的应用

Applications of pcf for mild large cardinals to elementary embeddings

证明了以下pcf结果：1。假设kappa > aleph_0是一个弱紧基数。设mu > 2^kappa是共尾kappa的奇异基数。则对于每个正则lambda < pp^+_{Gamma（kappa）}（mu），存在递增序列（lambda_i| i < kappa），使得lambda = tcf（prod_{i < kappa} lambda_i，<_{J^{bd}_kappa}）。2.设μ是一个强极限基数，θ是一个大于μ的基数。假设它们中至少有一个具有不可数共尾性。然后存在sigma_* < mu，使得对于每个chi< theta the following holds: theta >_sup{sup pcf_{sigma_*-complete}（frak a）|frak一个subseteq Reg cap（mu^+，chi），|他妈的|< mu}。作为一个应用，我们证明了：如果kappa是一个可测基数，j：V到M是kappa上一个kappa完全超滤子的初等嵌入，则对每个τ成立：1.如果j（τ）是基数，则j（τ）= τ; 2。|j（τ）| = |j（j（τ））|3.对于任何κ-完全超滤器W在κ上，|j（τ）| = |j_W（τ）|.前两项对Gitik和Shelah（1993）[2]的问题提供了肯定的答案，第三项对D.弗雷姆林

2013-07-23math.LO

PCF定理的再认识

The pcf-theorem revisited

对约化积prod_{i< kappa} lambda_i/I证明了（可能共尾性理论的）pcf定理，其中kappa < min_{i< kappa} lambda_i.这里我们在较弱的假设下证明了这个定理，例如wsat（I）< min_{i< kappa} lambda_i，其中wsat（I）是最小的theta，使得kappa不能被传递到theta集合noin I（或者甚至稍微弱一点的条件）。我们还研究了相对于<_I（<_I-eub）的精确上界的存在性以及约化积和基数T_D（lambda）的基数。最后我们将其应用于布尔代数的超积（和约化积）的深度问题

1995-02-15math.LO

不含完全二部图的图的普遍性

Universality among the graph omitting a complete bipartite graph

对于基数lambda，kappa，theta，我们考虑一类基数lambda的图，它没有子图是（kappa，theta）-完全二部图.问题是在这样一个类中是否有一个在（弱）嵌入下的泛类。我们在GCH下完全解决了这个问题。在与基数算术有关的各种假设下，我们证明了这个问题和一些相关问题的共相不存在。

2010-05-17math.LO

关于Monk的问题

On Monk's questions

蒙克问（问题13，15在他的清单; π是代数密度）：“对于一个布尔代数B，aleph_0 <= theta <= pi（B），B是否有一个子代数B'，其中pi（B'）= theta？如果θ是正则的，那么答案很容易是正的，我们证明，一般来说，它可能是负的，但对于相当多的奇异基数，它是正的;定理是相当互补的。其次，我们处理的pi-chi和我们表明，pi-chi的超积的布尔代数不一定是超积的pi-chi的。证明了对无限布尔代数A_i（i< kappa）和kappa上的非主超滤子D：如果n_i< aleph_0（i< kappa）且mu = prod_{i< kappa} n_i/D是正则的，则pi-chi（A）>= mu.这里A= prod_{i< kappa} A_i/D。根据Peterson的一个定理，需要mu的正则性。

1996-01-15math.GNmath.LO

布尔代数的更多构造

More Constructions for Boolean algebras

我们解决了一些问题的布尔代数。例如，我们在ZFC中对任意的BA B和基数kappa BA B_1，B_2构造B的扩充，使得B_1，B_2在B上的自由积的深度严格大于B_1的深度，B_2的深度严格大于kappa。我们给出一个条件（对于λ，μ和θ），它意味着对于某些BA A_θ，存在B_1=B^1_{λ，μ，θ}和B_2B^2_{λ，μ，θ}，使得深度（B_t）<= μ和深度（B_1 oplus_{A_theta} B_1）>= λ。然后，我们研究了对固定的A，存在这样的B_1，B_2，给出了充分和必要条件，包括相容性结果。进一步我们证明了，例如，如果B是一个BA的基数λ，λ>= μ和λ，μ是强极限奇异的相同的共尾性，那么B有一个同态像的基数μ（和μ超滤子）。接下来，我们证明对于BA B，如果d（B）^kappa < |B|，则ind（B）> kappa或Depth（B）>= log（|B|）。最后证明了如果square_lambda成立且lambda = lambda^{aleph_0}，则对某些BAs B_n，Depth（B_n）<= lambda，但对Ω上的任何一致超滤子D，prod_{n< omega} B_n/D有depth >= lambda^+ .

1996-05-15math.GNmath.LO

Becker定理的内模理论证明

An inner model theoretic proof of Becker's theorem

本文给出了Becker的一个定理的新证明：在AD+V=L（R）下，对任何小于或等于Suslin基数的上确界的kappa，ω_2是kappa-超紧的.我们的证明使用内模型论。是否可以证明，比如说在AD_R下，Suslin基数及其后继是<Theta-超紧的，这仍然是一个开放的问题。这是史蒂夫·杰克逊的一个定理，他用泛型代码证明了这一点。

2021-10-12math.LO

进一步的基数算术

Further cardinal arithmetic

假设对基数算术有一定的了解，我们继续作者的书中关于基数算术的研究。（S_{<= aleph_0}（kappa），subseteq）对于kappa实值可测（第3节），箱形产品的密度（第5.3节），证明等式覆盖（lambda，lambda，theta^+，2）=pp（lambda）在更多情况下，即使cf（lambda）= aleph_0（第1节），处理界限的pp（lambda）的lambda限制的不可访问（第4节），并证明各种索赔，我相信我已经写了，但没有找到（第6节）。

1996-10-15math.LO