Mohammad Golshani
Starting from suitable large cardinals, we force the failure of (weak) diamond at the least inaccessible cardinal. The result improves an unpublished theorem of Woodin and a recent result of Ben-Neria, Garti and Hayut.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We isolate \emph{the approximating diamond principles}, which are consequences of the diamond principle at an inaccessible cardinal. We use these principles to find new methods for negating the diamond principle at large cardinals. Most notably, we demonstrate, using Gitik's overlapping extenders forcing, a new method to get the consistency of the failure of the diamond principle at a large cardinal $θ$ without changing cofinalities or adding fast clubs to $θ$. In addition, we show that the approximating diamond principles necessarily hold at a weakly compact cardinal. This result, combined wi…
Assuming the existence of a supercompact cardinal and an inaccessible above it, we construct a model of ZFC, in which all uncountable regular cardinals are inaccessible in HOD.
The first measurable can be the first inaccessible cardinal
该研究改进了此前关于最小不可达基数为最小可测基数时内模型的$o(κ)$下界结果，将其从$o(κ)\u003e=2$提升至$o(κ)\u003e=κ+1$，并证明$κ^{++}$-超紧基数可在对称扩张中成为最小的不可达与可测基数。
Given an inaccessible Jónsson cardinal $λ$, a sequence of results due to Shelah from Cardinal Arithmetic and Sh413 tell us that $λ$ must be at least $λ\timesω$-Mahlo. We may then ask ourselves whether we can improve this bound, and unfortunately not much progress has been made on this question since Sh413. Part of the problem may be that the proofs involved are rather complicated and make use of somewhat ad hoc machinery. In order to remedy this, we present a survey and new proofs of these results regarding the Mahlo degree of an inaccessible Jónsson cardinal with the hope of making this mater…
A non-trivially non-trivial automorphism at an inaccessible cardinal
本文证明在不可达基数存在的前提下，可构造一个非平凡自同构，其限制由双射诱导，从而回答多个相关开放问题。
If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.
This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new large cardinal definitions for degrees of inaccessible cardinals extending the hyper-inaccessible hierarchy. I showed that for every cardinal $κ$, and ordinal $α$, if $κ$ is $α$-inaccerssible, then there is a $\mathbb{P}$ forcing that $κ$ which preserves that $α$-inaccessible but destorys that $κ$ is $(α+1)$-inaccessible. I also consider Mahlo cardinals and d…
By an omega_1--tree we mean a tree of power omega_1 and height omega_1. Under CH and 2^{omega_1}> omega_2 we call an omega_1--tree a Jech--Kunen tree if it has kappa many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus 2^{omega_1}> omega_2 that there exist Kurepa trees and there are no Jech--Kunen trees, (2) it is consistent with CH plus 2^{omega_1}= omega_4 that only Kurepa trees with omega_3 many branches exist.
We prove that a large class of presaturated ideals at inaccessible cardinals can be de-saturated while preserving their presaturation, answering both a question of Foreman and of Cox and Eskew. We do so by iterating a generalized version of Baumgartner and Taylor's forcing to add a club with finite conditions along an inaccessible cardinal, and invoking Foreman's Duality Theorem.
$Σ^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{ω_1}}^V \prec_{Σ_2}{H_{ω_1}}^{V^P}$. "$ω_1$ inaccessible to reals" means that for any real $r$, ${ω_1}^{L[r]}<ω_1$. To measure the exact consistency strength of "$Σ^1_3$-absoluteness for ccc forcing and $ω_1$ is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) $Σ^1_2$-indescribable cardinal; $κ$ has this property exactly if it is inaccessible and $H_κ\prec_{Σ_2} H_{κ^+}$.
In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset of kappa not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function l:kappa-->V_kappa such that for any A in H(kappa+) there is an embedding j:V-->M having critical point kappa with j(l)(kappa)=A. This and similar principles formulated for many other large cardinal notions, including weakly compact, i…
Weak diamond and pcf theory
本文利用弱钻石原则推导出pcf(𝔞)的基数上界，并证明在温和假设下许多奇异基数ℵ_δ满足2^{ℵ_δ}<ℵ_{(|δ|^{+3})}。
We prove that, consistently, there exists a weakly but not strongly inaccessible cardinal $λ$ for which the sequence $\langle 2^θ:θ<λ\rangle$ is not eventually constant and the weak diamond fails at $λ$. We also prove that consistently diamond fails but a parametrized version of weak diamond holds at some strongly inaccessible $λ$.
Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
该研究通过序数类组合性质刻画抽象逻辑弱紧基数存在性，证明其不蕴含强不可达基数存在，并给出其与真类微妙基数的一致性等价条件及HOD内模型中的相关推论。
Generalizing random real forcing for inaccessible cardinals
本文针对不可达基数$\u03bb$对应的$\u03bb^\u03bb$空间，在附加假设下构造了具备随机实数力迫性质的推广力迫，证明其保持基数与共尾性且不添加无支配实数，填补了随机实数力迫在高阶无穷空间的推广空白。
Can You Take Komjath's Inaccessible Away?
本文比较Kurepa树与Aronszajn树，通过序数步方法将相关相容性结论的大基数假设从两个不可达基数降至一个，还得到无需大基数的相容性结果及MA相关推论，并证明了Todorcevic ρ函数的新引理。
It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a forcing notion similar to the random real forcing, replacing aleph_0 by lambda, so requiring it to be (<lambda)-complete. Of course, we would welcome additional properties generalizing the ones of the random real forcing. Returning to the ideal (instead forcing) we may look at the Boolean Algebra of lambda-Borel sets modulo the ideal. Surprisingly we get an posi…
We prove the consistency of the failure of the weak diamond $Φ_λ$ at strongly inaccessible cardinals. On the other hand, we show that the very weak diamond $Ψ_λ$ is equivalent to the statement $2^{<λ}<2^λ$ and hence holds at every strongly inaccessible cardinal.
A Small Ultrafilter Number at Every Singular Cardinal
本文通过重叠强扩展子forcing方法，构造了一个模型，其中最小的inaccessible基数$κ$满足GCH在正则数上，SCH在奇异数上失败，并且所有奇异数的超滤子数都小。
Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $κ$---which we denote $\Diamond_{\text{Lav}}(κ)$---asserting the existence of a single function from $κ\to H_κ$ that behaves much like a supercompact Laver function, except with generic elementary embeddings rather than internal embeddings. Viale proved that the Proper Forcing Axiom (PFA) implies $\Diamond_{\text{Lav}}(ω_2)$. We strengthen his theorem by weakening the hypothesis to a statement strictly weaker than PFA. We also show that the principle $\Diamond_{\text{Lav}}(κ)$ provides a uniform, simple construc…
We consider a cardinal invariant closely related to Hindman's theorem. We prove that this cardinal invariant is small in the iterated Sacks perfect set forcing model, and that its corresponding parametrized diamond principle implies the existence of union ultrafilters. As a corollary, this establishes the existence of union ultrafilters in the iterated Sacks model of Set Theory.
Diamonds in mice
该论文证明，在无最大基数的可迭代小鼠中，某些菱形原理变体成立，并给出相应条件。
This paper continues a line of investigation of the Halpern--Läuchli Theorem at uncountable cardinals. We prove in ZFC that the Halpern--Läuchli Theorem for one tree of height $κ$ holds whenever $κ$ is strongly inaccessible and the coloring takes less than $κ$ colors. We prove consistency of the Halpern--Läuchli Theorem for finitely many trees of height $κ$, where $κ$ is a strong limit cardinal of countable cofinality. On the other hand, we prove failure of weak forms of Halpern--\Lauchli\ for trees of height $κ$, whenever $κ$ is a strongly inaccessible, non-Mahlo cardinal or a singular strong…
Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
本文证明在超紧基数与弱紧基数一致的前提下，存在不可达基数 $κ$ 使得广义塔数与超滤数满足特定不等式关系，并计算了多个基数不变量的值，同时推广到传统不变量并得到不相交平稳序列性质。
I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of targets independently and simultaneously. I primarily investigate jointness in the case of various kinds of Laver diamonds. In the case of measurable cardinals I show that, while the assertions that there are joint families of Laver diamonds of a given length get strictly stronger with increasing length, they are all equiconsistent. This is contrasted with …
Forcing Diamond and Applications to Iterability
本文证明高阶Sacks力迫与club Miller力迫可添加diamond序列，并肯定回答了κ-Sacks力迫的κ-支撑迭代不坍缩κ+且为κ-proper的长期问题，结果适用于其他高阶树力迫。
Under some cardinal arithmetic assumptions, we prove that every stationary subset of lambda of a right cofinality has the weak diamond. This is a strong negation of uniformization. We then deal with a weaker version of the weak diamond- colouring restrictions. We then deal with semi- saturated (normal) filters.
We establish the consistency of the failure of the diamond principle on a cardinal $κ$ which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a characterization of weak compactness of $κ$ in a Radin generic extension.
We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on $κ$, if $κ$ is weakly compact, then $\diamondsuit(κ)$ holds. This provides contrast with a well-known theorem of Woodin, who showed that in a certain Radin extension over a suitably prepared ground model relative to the existence of large cardinals, the diamond principle fails at a strongly inaccessible Mahlo cardinal. Refining the analysis of the Radin extensions, we consistently …
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinals properties can be defined in terms of suitable elementary embeddings j\colon V_γ\to V_λ. One key observation is that such embeddings are uniquely determined by the image structures j [ V_γ]\prec V_λ. These structures will be the prototypes guessing models. We shall show, usin…
Assuming $κ$ is a supercompact cardinal and $λ$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $κ=\aleph_ω$ and $λ=\aleph_{ω+1}.$
We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $κ$, let {\sf BC}$_κ$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_κ$ with a generalization of Kurepa's Hypothesis, we obtain the following consistency results: (1)If it is consistent that there is a 1-inaccessible cardinal then it is consistent that ${\sf BC}_{\aleph_1}$. (…
A cardinal lambda is called omega-inaccessible if for all mu < lambda we have mu^omega<lambda. We show that for every omega-inaccessible cardinal lambda there is a CCC (hence cardinality and cofinality preserving) forcing that adds a hereditarily Lindelof regular space of density lambda. This extends an analogous earlier result of ours that only worked for regular lambda.
We show that the notions of "strongly unfoldable cardinals", introduced by Villaveces in his model-theoretic studies of models of set theory, and "shrewd cardinals", introduced by Rathjen in a proof-theoretic context, coincide. We then proceed by using ideas from the proof of this equivalence to establish the existence of "ordinal anticipating Laver functions" for strong unfoldability. With the help of these functions, we show that the principle $\Diamond_κ(\mathrm{Reg})$ holds at every strongly unfoldable cardinal $κ$ with the property that there exists a subset $z$ of $κ$ such that every sub…
A club consisting of former regulars is added to an inaccessible cardinal, without changing cofinalities outside it. The initial assumption is optimal. A variation of the Radin forcing without a top measurable cardinal is introduced for this.
We show that if the universe is self-iterable and $κ$ is an inaccessible limit of Woodin cardinal then $AD_R + "Θ$ is regular" holds in the derived model at $κ$. The proof is fine-structure free, and only assumes basic knowledge of iteration trees and iteration strategies. Our proof can be viewed as the fine-structure free version of the well-known fact that $AD_R + "Θ$ is regular" is true in the derived models of hod mice that have inaccessible limit of Woodin cardinals (see for example [6]). However, the proof uses a different set of ideas and is more general.
Transferring Compactness
本文利用Radin forcing技术将弱不可达非强极限基数处的紧致性转移到强不可达基数，构造了非弱紧但满足$n$-$d$-stationary的集合论模型，并回答了Sakai关于$n$-stationary的相容性问题。
The work presents the second part of the second edition of its previous one published in 2000 under the same title, containing the proof (in ZF) of the inaccessible cardinals nonexistence, which is enriched and improved now. This part contains applications of the subinaccessible cardinals apparatus and its basic tools -- theories of reduced formula spectra and matrices, disseminators and others, which are used here in this proof and are set forth now in their more transparent and simplified form. Much attention is devoted to the explicit and substantial development and cultivation of basic ide…
In a paper from 1997, Shelah asked whether $Pr_1(λ^+,λ^+,λ^+,λ)$ holds for every inaccessible cardinal $λ$. Here, we prove that an affirmative answer follows from $\square(λ^+)$. Furthermore, we establish that for every pair $χ<κ$ of regular uncountable cardinals, $\square(κ)$ implies $Pr_1(κ,κ,κ,χ)$.
We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $κ$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $κ$. Moreover assuming GCH, $κ^{<κ}=κ$, we show that: (1) if $κ$ is strongly unfoldable, $κ^+\leqβ=\hbox{cf}(β)\leq \hbox{cf}(δ)\leqδ\leqμ$ and $\hbox{cf}(μ)>κ$,then there is a cardinal preserving generic extension in which $$\mathfrak{s}(κ)=κ^+\leq\mathfrak{b}(κ)=β\leq\mathfrak{d}(κ)=δ\leq 2^κ=μ.$$ (2) if $κ$ is strongly inaccessible, $λ>κ^+$, then in the generic extension obtained as the $<κ$-support iterat…
This work represents a translation from English into Russian of the second part of the monograph by Alexander Kiselev under the same title. It contains the proof (in ZF) of inaccessible cardinals nonexistence. The first edition of this work was published in 2000. This part II contains applications of the subinaccessible cardinals apparatus and its basic tools - theories of reduced formula spectra and matrices, disseminators and others, which are used here in this proof and are set forth now in their more transparent and refined form. Much attention is devoted to the more explicit and substanti…
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…
Super black box (formerly: Middle diamond)
该研究在特定基数算术假设下，证明了足够大的正则基数下多类平稳子集具有super BB性质，是一致化的强否定，修正了旧作并统一了术语。
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model of ``ZFC + Omega is the least inaccessible limit of measurable limits of supercompact cardinals + f :Omega-->2 is a function'', then there is a partial ordering P in V so that for Vbar = V^P, Vbar_Omega models ``ZFC + There is a proper class of compact cardinals + If f(alpha) = 0, then the alpha-th compact cardinal isn't supercompact + If f(alpha) = 1, then t…
Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $ω^ω$-bounding sufficiently absolute forcing notions $\mathbb Q$.
Triangles and Vitali sets
该研究在不可达基数的相对一致性框架下，证明了ZF+DC公理系统中，欧氏平面等边三角形超图可数色数与不存在Vitali集可共存的结论。
The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and matrix functions and others. Much attention is devoted to the explicit and substantial development and cultivation of basic ideas, serving as grounds for all main constructions and reasonings
A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
本文基于 Chang 猜想的否定与不可达基数等大基数假设，通过构造 c.c.c. 和 Y-proper 等力迫偏序集，证明了强非饱和 Aronszajn 树的存在性与弱 Kurepa 树的不存在性及相关双基数树性质保持一致。
Assuming an inaccessible cardinal kappa, there is a generic extension in which MA + 2^{aleph_0} = kappa holds and the reals have a Delta^2_1 well-ordering.
Failure of an higher analogue of Mho
本文通过设计一个包含有限工作部分和两种类型模型作为附带条件的力迫概念，从超紧基数和不可达基数出发，证明了 $\mho$ 在第二个不可数基数上的高阶类似物可能一致地失败。
Force a set model of $Z_3$ + Harrington's Principle
本文在存在remarkable基数且其上有弱不可达基数的假设下，通过无需重塑的集合力迫方法，构造了满足三阶算术（$Z_3$）加Harrington原理（HP）的集合模型。
Weak Indestructibility and Reflection
本文证明强基数真类下所有κ+2强度等级的弱不可毁坏性与强反射强基数真类之间的等一致性，并借助力迫法和核心模型技术将结果推广到远超κ+2的强度等级，同时探讨了其与伍丁基数反射性质的联系。
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 $κ^{++}=…
Diamond on ladder systems and countably metacompact topological spaces
本文证明在ZFC下存在梯子系统L使得对应空间X_L不是可数亚紧的，给出κ=cf(beth_{ω+1})的肯定答案，并在beth_ω=aleph_ω假设下得到更低基数的例子。
Funicular preorders can be prelinearized without nonprincipal ultrafilters over $\mathbb N$
本文研究了无需非主超滤子在$\mathbb N$上即可预线性化纤维序的条件，展示了在$\mathsf{ZF+DC}$模型中此类序的预线性化方法。
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of 2^lambda needed to cover it. This answers a question of Matet.
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of ^{lambda}2 needed to cover it. This answers a question of Matet.
We show that it is consistent, relative to the consistency of a strongly inaccessible cardinal, that an instance of the generalized Borel Conjecture introduced in [8] holds while the classical Borel Conjecture fails.
The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of t…
Coloring equilateral triangles
本研究在集合论框架下证明，相对于不可达基数，ZF+DC成立时欧氏空间等边三角形超图有可数色数，但平面等腰三角形超图不具备该性质，推进了几何超图着色与集合论相容性研究。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。