The cofinality of the strong measure zero ideal for $κ$ inaccessible
英文摘要：
We investigate the cofinality of the strong measure zero ideal for $κ$ inaccessible, and show that it is independent of the size of $2^κ$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Covering of the null ideal may have countable cofinality
We prove that it is consistent that the covering of the ideal of measure zero sets has countable cofinality.
math.LO
Cofinality of the nonstationary ideal
We show that the reduced cofinality of the nonstationary ideal NS_kappa on a regular uncountable cardinal kappa may be less than its cofinality, where the reduced cofinality of NS_kappa is the least cardinality of any family F of nonstationary subsets of kappa such that every nonstationary subset of kappa can be covered by less than $κ$ many members of F.
math.LO
Yorioka's characterization of the cofinality of the strong measure zero ideal and its independency from the continuum
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
math.LO
Cofinality of normal ideals on P_κ(λ), I
Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<theta}-normal if given B_e in J for e in P_theta(delta), the set of all a in P_kappa(lambda) such that a in B_e for some e in P_{|a cap theta|}(a cap delta) lies in J. We give necessary and sufficient conditions for the existence of such ideals and we describe the least one and we compute its cofinality.
math.LO
On cofinality of the smallest covering of the real line by meager sets II
We study the ideal of meager sets and related ideals.
math.LO
On cardinal characteristics of Yorioka ideals
Yorioka [J. Symbolic Logic 67(4):1373-1384, 2002] introduced a class of ideals (parametrized by reals) on the Cantor space to prove that the relation between the size of the continuum and the cofinality of the strong measure zero ideal on the real line cannot be decided in ZFC. We construct a matrix iteration of ccc posets to force that, for many ideals in that class, their associated cardinal invariants (i.e. additivity, covering, uniformity and cofinality) are pairwise different. In addition, we show that, consistently, the additivity and cofinality of Yorioka ideals does not coincide with t…
math.LO
更多相关论文收起更多论文
理想的相对共尾性
Relative cofinality of ideals
该研究引入理想共尾性不变量的双参数修正版本，纳入理想对相互作用，确定ω上关键理想对的不变量值，二分实数线理想对并研究极大理想的相对共尾性，推进基类结构研究。
math.GNmath.LO
Canonical models for aleph_1 combinatorics
We define the property of Pi_2-compactness of a statement phi of set theory, meaning roughly that the hard core of the impact of phi on combinatorics of aleph_1 can be isolated in a canonical model for the statement phi. We show that the following statements are Pi_2-compact: ``dominating number = aleph_1,'' ``cofinality of the meager ideal = aleph_1'', ``cofinality of the null ideal = aleph_1'', existence of various types of Souslin trees and variations on uniformity of measure and category = aleph_1. Several important new metamathematical patterns among classical statements of set theory are…
math.LO
Consistency of "the ideal of null restricted to some A is kappa-complete not kappa^+-complete, kappa weakly inaccessible and cov(meagre)=aleph_1"
In this note we answer the following question of Grinblat: Is it consistent that for some set X, cov(NULL restriction X)=lambda is a weakly inaccessible cardinal (so X not null of course) while cov(meagre) is small, say it is aleph_1.
math.LO
A null ideal for inaccessibles
In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of the generalised Cantor space and study its associated ideal of null sets and notion of measurability. This issue was also addressed by Shelah ([11, Problem 0.5]) and concerns the definition of a forcing which is $κ^kappa$-bounding, $< κ$-closed and $κ^+$-cc, for $κ$ inaccessible.
math.LO
On cardinal characteristics associated with the strong measure zero ideal
Let $\mathcal{SN}$ be the strong measure zero $σ$-ideal. We prove a result providing bounds for $\mathrm{cof}(\mathcal{SN})$ which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies $\mathrm{add}(\mathcal{SN})=\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$.
math.LO
关于强测度零集理想的共尾度与覆盖的进一步研究
More about the cofinality and the covering of the ideal of strong measure zero sets
本文通过新组合原理 $\mathrm{DS}(δ)$、关系系统乘积及力迫迭代，改进强测度零集理想 $\mathcal{SN}$ 的共尾度与覆盖数界，并证明多种基数特征分离的一致性。
math.LO
A parallel to the null ideal for inaccessible lambda. Part I
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…
math.LO
由实数的 $F_σ$ 零测度子集生成的理想 $\mathcal{E}$ 的基数特征
The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
本综述研究由实数 $F_σ$ 零测度子集生成的理想 $\mathcal{E}$ 的基数特征，涵盖其加性、覆盖数、一致性与共尾性。
math.LO
Some results on nonstationry ideal 2
This is a continuation of "Some results on nonstationry ideal". The upper bound on precipitousness of NS_lambda^+ for a regular lambda given in this paper is proved to be exact.It is shown that saturatedness of NS_kappa^aleph_0 over inaccessible kappa requires at least o(kappa)=kappa^++.The upper bounds on the strength of NS_kappa precipitous for inaccessible kappa are reduced quite close to the lower bounds.
math.LO
Destroying Saturation while Preserving Presaturation at an Inaccessible; an Iterated Forcing Argument
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.
math.LO
A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different
Let $\mathcal{E}$ be the $σ$-ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for $\mathcal{E}$, their associated cardinal characteristics (i.e.\ additivity, covering, uniformity and cofinality) are pairwise different.
math.LO
Forcing axioms and the complexity of non-stationary ideals
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $ω_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not decide whether the restriction of the non-stationary ideal on $ω_2$ to sets of ordinals of countable cofinality is $Δ_1$-definable by formulas with parameters in $H(ω_3)$. The techniques developed in the proof of this result also allow us to prove analogous results for the full non-stationary ideal on $ω_2$ and strong forcing axioms that are compatible with CH. Fin…
math.LO
Less nonstationary ideals
We are proving the following: (1) If $\kap$ is a weakly inaccessible then $NS_\kap$ is not $\kap^+$-saturated. (2) If $\kap$ is a weakly inaccessible and $\tet <\kap$ is regular then $NS^\tet_\kap$ is not $\kap^+$-saturated. (3) If $\kap$ is singular then $NS^{cf\kap}_{\kap^+}$ is not $\kap^{++}$-saturated. Combining this with previous results of Shelah, one obtains the following: (A) If $\kap >\aleph_1$ then $NS_\kap$ is not $\kap^+$-saturated. (B) If $\tet^+<\kap$ then $NS^\tet_\kap$ is not $\kap^+$-saturated.
math.LO
Ideal Topologies in Higher Descriptive Set Theory
We investigate generalizations of the topology of the higher Cantor space on $2^κ$, based on arbitrary ideals rather than the bounded ideal on $κ$. Our main focus is on the topology induced by the nonstationary ideal, and we call this topology the nonstationary topology, or also the Edinburgh topology on $2^κ$. It may be of independent interest that as a side result, we show $κ$-Silver forcing to satisfy a strong form of Axiom $A$ not only if $κ$ is inaccessible (which is well-known), but also under the assumption $\diamondsuit_κ$.
math.GNmath.LO
某类Hausdorff测度的可加性可与Lebesgue测度的可加性不同
The additivity of a certain Hausdorff measure can differ from that of the Lebesgue measure
TU Wien（维也纳工业大学）
本文通过Tukey归约将Davies-Rogers Hausdorff测度零理想与局部化系统关联，证明其可加性和共尾性可与Lebesgue零理想不同。
math.LO
