Moti Gitik
Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying 2^kappa=kappa^++ and GCH below kappa. By a result of W. Mitchell and the author the assumptions are optimal.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $κ$ is singular strong limit, then $2^κ=κ^+$. We prove that given a singular cardinal $κ$ of {\em cofinality} $η$ in the ground model, which is a limit of suitable large cardinals, and $η^+=\aleph_γ$, then there is a forcing extension which preserves cardinals and cofinalities up to and including $η$, such that $κ$ becomes $\aleph_{γ+η}$, and SCH fails at $κ$. Furthermore, if $η$ is not an $\aleph$-fixed point, then in our model, SCH fails at $\aleph_η$. Our large c…
We present a forcing for blowing up 2^lambda and making ``many positive polarized partition relations'' (in a sense made precise in (c) of our main theorem) hold in the interval [lambda, 2^lambda]. This generalizes results of [276], Section 1, and the forcing is a ``many cardinals'' version of the forcing there.
May the successor of a singular cardinal be Jonsson?
该研究为数学逻辑领域的综述工作，汇总了奇异基数的后继成为Jonsson基数的必要条件，为相关大基数问题研究提供参考。
Starting from the existence of many supercompact cardinals, we construct a model of ZFC in which the tree property holds at a countable segment of successor of singular cardinals.
We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can consistently hold between all pairs of limit cardinals below $\aleph_{ω^ω}$.
Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=κ$, $^κM\subseteq M$ and $κ^{++}=κ_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension in which $κ$ is measurable and GCH fails at it. This is done by using an Easton support iteration of Cohen forcings for blowing the power of every inaccessible $α\leqκ$ to $α^{++}$, and then adding another forcing on top of that. We show that it is enough to use the iterated forcing, and that the latter forcing is not needed. We will show this not only for the case where $κ^{++}=…
Assuming the existence of a strong cardinal $κ$ and a measurable cardinal above it, we force a generic extension in which $κ$ is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds at $κ^{++}$.
We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in V.
We prove that consistently there is a singular cardinal $κ$ of uncountable cofinality such that $2^κ$ is weakly inaccessible, and every regular cardinal strictly between $κ$ and $2^κ$ is the character of some uniform ultrafilter on $κ$.
We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.
We investigate the circumstances under which there exist a singular cardinal $μ$ and a short $(κ, μ)$-extender $E$ witnessing "$κ$ is $μ$-strong", such that $μ$ is singular in $\Ult(V, E)$.
The article uses two examples to explore the statement that, contrary to the common wisdom, the properties of singular cardinals are actually more intuitive than those of the regular ones.
We formulate and prove (in {\sf ZFC}) a strong coloring theorem which holds at successors of singular cardinals, and use it to answer several questions concerning Shelah's principle $Pr_1(μ^+,μ^+,μ^+,\cf(μ))$ for singular $μ$.
We investigate negative square-brackets partition relations at successors of singular cardinals of countable cofinality. Along the way we prove some club-guessing results.
Assuming the existence of a strong cardinal $κ$, a weakly compact cardinal $λ$ above it and $γ> λ,$ we force a generic extension in which $κ$ is a singular strong limit cardinal of any given cofinality $δ$, $2^κ\geq γ$ and such that the tree property holds at $κ^{++}$.
We prove the consistency of a singular cardinal $λ$ with small value of the ultrafilter number $u_λ$, and arbitrarily large value of $2^λ$.
Assuming some large cardinals, a model of ZFC is obtained in which aleph_{omega+1} carries no Aronszajn trees. It is also shown that if lambda is a singular limit of strongly compact cardinals, then lambda^+ carries no Aronszajn trees.
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.
This is the second combinatorial proof of the compactness theorem for singular from 1977. In fact it gives a somewhat stronger theorem.
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal of uncountable cofinality, while its successor enjoys various combinatorial properties. As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal $κ$ of uncountable cofinality where SCH fails and for which there is a collection of graphs on $κ^+$ whose size…
We prove that if cf(lambda) > aleph_0 and 2^{cf(lambda)}<lambda, then lambda->(lambda,omega+1)^2.
We investigate the existence of strong colorings on successors of singular cardinals. This work continues Section 2 of [Sh:413] (math.LO/9809199), but now our emphasis is on finding colorings of pairs of ordinals, rather than colorings of finite sets of ordinals.
We deal here with colorings of the pair (mu^+, mu), when mu is a strong limit and singular cardinal. We show that there exists a coloring c, with no refinement. It follows, that the properties of identities of (mu^+, mu) when mu is singular, differ in an essential way from the case of regular mu .
We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $κ$ is a singular strong limit cardinal and $2^κ>= λ$ where $λ$ is not the successor of a cardinal of cofinality at most $κ$. (i) If $\cofinality(κ)>\gw$ then $o(κ)\geλ$. (ii) If $\cofinality(κ)=\gw$ then either $o(κ)\geλ$ or $\set{\ga:K\sat o(\ga)\ge\ga^{+n}}$ is cofinal in $κ$ for each $n\in\gw$. In order to prove this theorem we give a detailed analysis of the sequences of indiscernibles which come from appl…
Assume $λ$ is a singular limit of $η$ supercompact cardinals, where $η\leq λ$ is a limit ordinal. We present two forcing methods for making $λ^+$ the successor of the limit of the first $η$ measurable cardinals while the tree property holding at $λ^+.$ The first method is then used to get, from the same assumptions, tree property at $\aleph_{η^2+1}$ with the failure of $SCH$ at $\aleph_{η^2}$. This extends results of Neeman and Sinapova. The second method is also used to get tree property at successor of an arbitrary singular cardinal, which extends some results of Magidor-Shelah, Neeman and S…
We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $κ$ such that $2^κ> kappa^+$ then there is an inner model with a cardinal $κ$ such that for all ordinals $α<κ$ there is an ordinal $ν< κ$ with $o(ν) > α$. (ii) If there is a singular strong limit cardinal $κ$ of uncountable cofinality such that $2^κ> κ^+$ then there is an inner model with $o(κ) = κ^{++}$. Since this paper was originally submitted, Gitik has improved this result to give exact lower bounds.
Assuming that $0^\dagger$ does not exist, we prove that if there is a partition of $\mathbb R$ into $\aleph_ω$ Borel sets, then there is also a partition of $\mathbb R$ into $\aleph_{ω+1}$ Borel sets.
In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $κ\ge ω_2$, $\textsf{ISP}(κ)$ implies that $\textsf{SCH}$ holds above $κ$, and (3) forcing posets which have the $ω_1$-approximation property also have the countable covering property. These results solve open problems of Viale and Hachtman-Sinapova.
We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.
It is known that the assumption that ``GCH first fails at \aleph_ω'' leads to large cardinals in ZFC. Gitik and Koepke have demonstrated that this is not so in ZF: namely there is a generic cardinal-preserving extension of L (or any universe of ZFC + GCH in which all ZF axioms hold, the axiom of choice fails, GCH holds for all cardinals \aleph_n, but there is a surjection from PowerSet(\aleph_ω) onto λ, where λ is any previously chosen cardinal in L greater than \aleph_ω, for instance, \aleph_{ω+17}. In other words, in such an extension GCH holds in proper sense for all cardinals \aleph_n but …
Usuba's principle $UB_λ$ can fail at singular cardinals
本文证明组合原理 $UB_λ$ 在奇异基数处可能不成立，并具体构造了 $λ=\aleph_ω$ 的反例，从而回答了 Usuba 提出的问题。
We build a supercompact version of the forcing defined in \cite{gitik2019}. For each singular cardinal in the ground model with any fixed cofinality, which is a limit of supercompact cardinals, it is possible to force so that the size of the powerset of the singular cardinal is arbitrarily large, while preserving the singular cardinal. An important feature of this forcing is that it is possible to define the forcing so that the successor of the singular cardinal is collapsed, but all the cardinals above it are preserved.
A Small Ultrafilter Number at Every Singular Cardinal
本文通过重叠强扩展子forcing方法，构造了一个模型，其中最小的inaccessible基数$κ$满足GCH在正则数上，SCH在奇异数上失败，并且所有奇异数的超滤子数都小。
The Baire and perfect set properties at singulars cardinals
本文在ZFC中构造含奇异基数κ的模型，使L(V_{κ+1})内所有κ子集兼具κ-完美集性质与\mathcal{\vec{U}}-Baire性质，并以超紧性大基数假设改进已有结果。
The paper is concerned with the existence of a universal graph at the successor of a strong limit singular mu of cofinality aleph_0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such mu there are mu^{++} graphs on mu^+ that taken jointly are universal for the graphs on mu^+, while 2^{mu^+}>> mu^{++} . The paper also addresses the general problem of obtaining a framework for consistency results at the successor of a singular strong limit starting from the assumption that a supercompact cardinal kappa exists. The result on the exist…
We show that from a supercompact cardinal κ, there is a forcing extension V[G] that has a symmetric inner model N in which ZF + not AC holds, κ and κ^+ are both singular, and the continuum function at κ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of κ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of ZF + not AC_ω in which either (1) aleph_1 and aleph_2 are both singular and the continuum function at aleph_1 can be precisely controlled, or (2) aleph_ω and aleph_{ω+…
Let $\mathrm{cof}(μ)=μ$ and $κ$ be a supercompact cardinal with $μ<κ$. Assume that there is an increasing and continuous sequence of cardinals $\langleκ_ξ\mid ξ<μ\rangle$ with $κ_0:=κ$ and such that, for each $ξ<μ$, $κ_{ξ+1}$ is supercompact. Besides, assume that $λ$ is a weakly compact cardinal with $\sup_{ξ<μ}κ_ξ<λ$. Let $Θ\geqλ$ be a cardinal with $\mathrm{cof}(Θ)>κ$. Assuming the $\mathrm{GCH}_{\geqκ}$, we construct a generic extension where $κ$ is strong limit, $\mathrm{cof}(κ)=μ$, $2^κ= Θ$ and both $\mathrm{TP}(κ^+)$ and $\mathrm{TP}(κ^{++})$ hold. Further, in this model there is a very …
For an infinite cardinal mu, MAD(mu) denotes the set of all cardinalities of nontrivial maximal almost disjoint families over mu. Erdos and Hechler proved the consistency of [mu in MAD(mu)] for a singular cardinal mu and asked if it was ever possible for a singular mu that [mu notin MAD(mu)], and also whether 2^{cf(mu)}<mu ===> [mu in MAD(mu)] for every singular cardinal mu. We introduce a new method for controlling MAD(mu) for a singular mu and, among other new results about the structure of MAD(mu) for singular mu, settle both problems affirmatively.
We discuss the generalized Kurepa hypothesis $KH_λ$ at singular cardinals $λ$. In particular, we answer questions of Erdös-Hajnal [1] and Todorcevic [6], [7] by showing that $GCH$ does not imply $KH_{\aleph_ω}$ nor the existence of a family $ \mathcal{F} \subseteq [\aleph_ω]^{\aleph_0}$ of size $\aleph_{ω+1}$ such that $\mathcal{F} \restriction X$ has size $\aleph_0$ for every $X \subseteq S, |X|=\aleph_0$.
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping Reflection Principle, a consequence of PFA. While the results fall short of showing that MRP implies SCH, it will be shown that MRP implies that if SCH fails first at kappa then every stationary subset of S_{kappa^+}^omega = {a < kappa^+ : cf(a) = omega} reflects. It will also be demonstrated that MRP always fails in a generic extension by Prikry forcing.
Dominating numbers at singular cardinals
本文研究奇异基数上的广义支配数，在ZFC及温和基数算术假设下证明两个下界，并通过Cohen力迫迭代与μ-cc偏序集力迫分别给出𝔡_μ小于或等于2^μ的一致性结果。
For an inaccessible cardinal $κ$, the super tree property (ITP) at $κ$ holds if and only if $κ$ is supercomact. However, just like the tree property, it can hold at successor cardinals. We show that ITP holds at the successor of the limit of $ω$ many supercompact cardinals. Then we show that it can consistently hold at $\aleph_{ω+1}$. We also consider a stronger principle, ISP, and certain weaker variations of it. We determine which level of ISP can hold at a successor of a singular. These results fit in the broad program of testing how much compactness can exist in the universe, and obtaining…
Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_κ$ consisting of perfect trees of height $λ$ and width $κ$ where $κ$ is a singular $ω$-strong limit of cofinality $λ$. They showed that if $κ$ is singular of countable cofinality, then $\mathbb{P}_κ$ is minimal for $ω$-sequences assuming that $κ$ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption. Prikry proved that $\mathbb{P}_κ$ is $(ω,ν)$-distributive for all $ν<κ$ given a singular $ω$-strong limit cardinal $κ$ of countable cofinality, and Dobrinen et al$.$ asked whether …
The Strong and Super Tree Property at Successors of Singular Cardinals
该研究聚焦奇异基数后继的强树性质与ITP（超树性质），构造通用力迫类，推广Neeman的结果，证明多种基数组合下两类性质同时成立的一致性，推进了同时在多个相继基数上获得两类树性质的问题研究。
The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $κ$ is supercompact and the cardinals $θ< κ$, $λ> κ$ are regular, as an application of a more general method we obtain a forcing extension in which $\textrm{cf}(κ) = θ$, the Singular Cardinal Hypothesis fails at $κ$ and there exists a universal graph in cardinality $λ\in (κ,2^κ)$.
Let $M$ denote the Merimovich's model in which for each infinite cardinal $λ, 2^λ=λ^{+3}$. We show that in $M$ the following hold: (1) Shelah's strong hypothesis fails at all singular cardinals, indeed, $\forall λ(λ$ is a singular cardinal $\Rightarrow pp(λ)=λ^{+3}).$ (2) For each singular cardinal $λ$ there is an inner model $N$ of $M$ such that $M$ and $N$ have the same bounded subsets of $λ,$ $λ$ is a singular cardinal in $N$, $(λ^{+i})^N=(λ^{+i})^M$, for $i=1,2,3,$ and $N \models 2^λ=λ^{+}$. Thus it is possible to add many new fresh subsets to $λ$ without adding any new bounded subsets to …
We introduce a combinatorial notion of measures called Rudin-Keisler capturing and use it to give a new construction of elementary substructures around singular cardinals. The new construction is used to establish mutual stationary results at the first successor of singular cardinals $\langle \aleph_{ωn + 1}\rangle_{n< ω}$.
We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $α$ with $cf(α)=ω_1$ and $α^ω> α.$
Strong Tree Properties Along Many Segments of Successors of Singulars
该研究从大基数出发，通过力迫构造证明了ITP可在奇异基数的可数初始段后继处同时成立，并推广得到奇异基数多共尾度长段后继处的强树性质的一致性。
We show that a statement concerning the existence of winning strategies of limited memory in an infinite two-person topological game is equivalent to a weak version of the Singular Cardinals Hypothesis.
We investigate forcing properties of perfect tree forcings defined by Prikry to answer a question of Solovay in the late 1960's regarding first failures of distributivity. Given a strictly increasing sequence of regular cardinals $\langle κ_n: n< ω\rangle$, Prikry defined the forcing $\mathbb{P}$ all perfect subtrees of $\prod_{n<ω}κ_n$, and proved that for $κ=\sup_{n<ω}κ_n$, assuming the necessary cardinal arithmetic, the Boolean completion $\mathbb{B}$ of $\mathbb{P}$ is $(ω,μ)$-distributive for all $μ<κ$ but $(ω,κ,δ)$-distributivity fails for all $δ<κ$, implying failure of the $(ω,κ)$-d.l. …
Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa (lambda) is nowhere precipitous.
Weak diamond and pcf theory
本文利用弱钻石原则推导出pcf(𝔞)的基数上界，并证明在温和假设下许多奇异基数ℵ_δ满足2^{ℵ_δ}<ℵ_{(|δ|^{+3})}。
The $κ$-density of a cardinal $μ\geκ$ is the least cardinality of a dense collection of $κ$-subsets of $μ$ and is denoted by $\mathcal D(μ,κ)$. The Singular Density Hypothesis (SDH) for a singular cardinal $μ$ of cofinality $cfμ=κ$ is the equation $\mathcal D(μ,κ)=μ^+$. The Generalized Density Hypothesis (GDH) for $μ$ and $λ$ such that $λ\leμ$ is: $\mathcal D(μ,λ)=μ$ if $cfμ\not=cfλ$ and $\mathcal D(μ,λ)=μ^+$ if $cfμ=cfλ$. Density is shown to satisfy Silver's theorem. The most important case is: Theorem 2.6. If $κ=cfκ<θ=cfμ<μ$ and the set of cardinals $λ<μ$ of cofinality $κ$ that satisfy the \…
Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In [Sh:189] inverse kappa-systems A of abelian groups and their certain kind of quotient limits Gr(A)/Fact(A) were considered. It was proved that for every cardinal mu there exists an inverse kappa-system A such that A consists of abelian groups having cardinality at most mu^kappa and card(Gr(A)/Fact(A))= mu. In [Sh:228] a strict connection between inverse kappa-…
We strengthen non-structure theorems for almost free Abelian groups by studying long Ehrenfeucht-Fraisse games between a fixed group of cardinality lambda and a free Abelian group. A group is called epsilon-game-free if the isomorphism player has a winning strategy in the game (of the described form) of length epsilon in lambda. We prove for a large set of successor cardinals lambda=mu^+ existence of nonfree (mu*omega_1)-game-free groups of cardinality lambda. We concentrate on successors of singular cardinals.
We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analogue of PC-exact satura…
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
For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact cardinal and mu<=kappa is a nonzero cardinal, there exists a model M of cardinality kappa with No(M)=mu. We prove here that if kappa is a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality kappa is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Sigma…
Total Failure of Approachability at Successors of Singulars of Countable Cofinality
在可数余数的后继点中，研究了非可接近点的存在性，解决了Mitchell和Foreman、Shelah的问题。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。