arXiv math/95102161995-10-15math.LO

On squares, outside guessing of clubs and I_{<f}[lambda]

Mirna Džamonja, Saharon Shelah

发表信息：: Fund. Math. 148 (1995), 165--198

英文摘要：

Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a sufficient condition for the set of elements of lambda whose cofinality is bounded by kappa, to be split into the union of mu sets with squares. Secondly, we introduce a certain weak version of the square property and prove that if mu is a strong limit, then this weak square property holds on lambda without any additional assumptions

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Club guessing for dummies

We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$).

2010-03-24math.LO

Club-guessing, stationary reflection, and coloring theorems

We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of ideals.

2009-05-22math.LO

正则基数后继处的俱乐部猜测的强失效

Strong failures of club guessing at the successor of a regular cardinal

该研究在正则基数κ的后继处，通过Krueger的带模型边条件的力迫迭代技术，力迫使极弱俱乐部猜测与℧原则同时失效，且ω₁处的失效是PFA的已知结果。

2026-10-01math.LO

俱乐部猜测与普遍模型

Club guessing and the universal models

本文纠正了关于俱乐部猜测和普遍模型中定义1.1参数缺失的错误，并讨论了相关构造在证明偏序类无最大元素中的应用。

2026-02-02math.LO

Club guessing 工具箱 I

A club guessing toolbox I

本文综述文献中各种 club-guessing 形式，并系统研究 club-guessing 序列的改进方式，特别是猜测频率的校准，为不熟悉该领域的读者提供独立说明章节。

2022-07-08math.LO

Parametrized Measuring and Club Guessing

We introduce Strong Measuring, a maximal strengthening of J. T. Moore's Measuring principle, which asserts that every collection of fewer than continuum many closed bounded subsets of $ω_1$ is measured by some club subset of $ω_1$. The consistency of Strong Measuring with the negation of CH is shown, solving an open problem from about parametrized measuring principles. Specifically, we prove that Strong Measuring follows from MRP together with Martin's Axiom for $σ$-centered forcings, as well as from BPFA. We also consider strong versions of Measuring in the absence of the Axiom of Choice.

2019-09-04math.LO

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

Guessing clubs for aD, non D-spaces

We prove that there exists a 0-dimensional, scattered $T_2$ space $X$ such that $X$ is aD but not linearly D, answering a question of Arhangel'skii. The constructions are based on Shelah's club guessing principles.

2010-08-11math.GNmath.LO

On versions of clubsuit on cardinals larger than aleph_1

We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to the situation of lambda a singular strong limit with 2^lambda>lambda^+. The first result shows that in ZFC there is a guessing of unbounded subsets of S^{lambda^+}_lambda. The second result is a consistency result (assuming a supercompact cardinal exists) showing that a natural guessing fails. A result of Shelah in math.LO/9808140 shows that if 2^lambda=lambd…

1999-11-28math.LO

On club-like principles on regular cardinals above $\beth_ω$

We prove that for regular $λ$ above a strong limit singular $μ$ certain guessing principles follow just from cardinal arithmetic assumptions. The main result is that for such $λ$ and $μ$ there are coboundedly many regular $κ<μ$ such that $\clubsuit^-(S^λ_κ)$ holds whenever $λ=λ^{<κ}$.

2006-08-25math.LO

Saturated filters at successors of singulars, weak reflection and yet another weak club principle

Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not lambda^+-saturated. The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection

1996-01-15math.LO

A note on some versions of club

This note gives two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular, while the second is a negative consistency result which applies to the situation of lambda singular. Both results are connected to an earlier result of the same authors in which they showed that a certain version of clubsuit holds at a successor of singular just in ZFC. The first result here shows that that fact can to a certain extent be extended to the successor of singular. The negative result here gives limitations to the extent to which one …

1997-09-12math.LO

A continuation of [DjSh:691]

We continue to investigate club guessing (see [Sh:g, Ch III] and [Sh:e, Ch VI]), continuing Dzamonja and Shelah [DjSh:691]

1999-12-20math.LO

Stationary sets and infinitary logic

Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda = lambda^{< kappa} is regular, then no sentence of L_{lambda^+ kappa} separates K^0_lambda and K^1_lambda. On the other hand, we prove that if lambda = mu^+, mu = mu^{< mu}, and a forcing axiom holds (and aleph_1^L= aleph_1 if mu = aleph_0), then there is a sentence of L_{lambda lambda} which separates K^0_lambda and K^1_lambda .

1997-06-15math.LO

Advances in Cardinal Arithmetic

If cf(kappa) = kappa, kappa^+< cf(lambda) = λ, then there is a stationary subset S of {delta<lambda:cf(delta)=kappa} in I[lambda]. Moreover, we can find <C_delta :delta in S>, C_delta a club of lambda, otp(C_delta)=kappa, guessing clubs and for each alpha<lambda we have: {C_delta \cap alpha: alpha \in nacc(C_delta)} has cardinality <lambda. Also, we prove that e.g. there is a stationary subset of S_{<aleph_1}(lambda) of cardinality cf(S_{<aleph_1}(lambda),subseteq) Then we prove the existence of nice filters when instead being normal filters on omega_1 they are normal filters with larger domai…

2008-06-03math.LO

Specializing Trees with Small Approximations I

Assuming $\rm PFA$, we shall use internally club $ω_1$-guessing models as side conditions to show that for every tree $T$ of height $ω_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with finite conditions which specialises $T$. Moreover, the forcing has the $ω_1$-approximation property.

2022-03-11math.LO

On the existence of large subsets of [lambda]^{<kappa} which contain no unbounded non-stationary subsets

Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or equal than lambda. In the second section we deal with the existence of such clubs. The proofs are easy but the result seems to be very surprising. Theorem 1.2 was proved some time ago by Baumgartner and is presented here for the sake of completeness.

1999-08-29math.LO

A consistency result on weak reflection

In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)= lambda there is C club in alpha such that F restriction C is strictly increasing. We prove that it is consistent to have a cardinal theta such that strong non-reflection and weak reflection each hold on an unbounded set of cardinals less than theta .

1995-04-15math.LO

Martin's Maximum and tower forcing

There are several examples in the literature showing that compactness-like properties of a cardinal $κ$ cause poor behavior of some generic ultrapowers which have critical point $κ$ (Burke \cite{MR1472122} when $κ$ is a supercompact cardinal; Foreman-Magidor \cite{MR1359154} when $κ= ω_2$ in the presence of strong forcing axioms). We prove more instances of this phenomenon. First, the Reflection Principle (RP) implies that if $\vec{\mathcal{I}}$ is a tower of ideals which concentrates on the class $GIC_{ω_1}$ of $ω_1$-guessing, internally club sets, then $\vec{\mathcal{I}}$ is not presaturated…

2011-10-18math.LO