Strongly meager sets of size continuum
英文摘要：
We construct several models where there are no strongly meager sets of size continuum. In particular, there are no such sets in the Laver's model.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Strongly meager sets do not form an ideal
A set X subseteq R is strongly meager if for every measure zero set H, X+H not= R. Let SM denote the collection of strongly meager sets. We show that assuming CH, SM is not an ideal.
math.LO
Strongly meager and strong measure zero sets
We show that the following are consistent with ZFC: 1. Strongly meager sets form an ideal with the same additivity as the ideal of meager sets. 2. There exists a strong measure zero set of size > d (dominating number).
math.LO
Not every gamma-set is strongly meager
We present two constructions of gamma-sets which are large in sense of category.
math.LO
Cohen real or random real: effect on strong measure zero sets and strongly meager sets
We show that the set of the ground-model reals has strong measure zero (is strongly meager) after adding a single Cohen real (random real). As consequence we prove that the set of the ground-model reals has strong measure zero after adding a single Hechler real.
math.LO
Strongly meager sets can be quite big
The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It is well known that uniformly continuous image of a strongly null set is strongly null). A ZFC version of this result is also given.
math.LO
A Haar meager set that is not strongly Haar meager
Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for every $g \in G$. The main open problem in this area is Darji's question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in…
math.GNmath.LO
更多相关论文收起更多论文
Small sets of reals through the prism of fractal dimensions
A separable metric space X is an H-null set if any uniformly continuous image of X has Hausdorff dimension zero. upper H-null, directed P-null and P-null sets are defined likewise, with other fractal dimensions in place of Hausdorff dimension. We investigate these sets and show that in 2^ω they coincide, respectively, with strongly null, meager-additive, T' and null-additive sets. Some consequences: A subset of 2^ω is meager-additive if and only if it is E-additive; if f:2^ω->2^ω is continuous and X is meager-additive, then so is f(X), and likewise for null-additive and T'-sets.
math.LO
Products of special sets of real numbers
We describe a simple machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are: 1. The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measure zero/is strongly meager, respectively. 2. Using Scheepers' notation for selection principles: Sfin(Omega,Omega^gp)\cap S1(O,O)=S1(Omega,Omega^gp), and Borel's Conjecture for S1(Omega,Omega) (or just S1(Omega,Omega^gp)) implies Borel's Conjecture. These results extend results of Scheepers and Mill…
math.COmath.GNmath.LO
Borel images of sets of reals
The main goal of this paper is to generalize several results concerning cardinal invariants to the statements about the associated families of sets. We also discuss the relationship between the additive properties of sets and their Borel images. Finally, we present estimates for the size of the smallest set which is not strongly meager.
math.LO
A model with no magic sets
We will prove that there exists a model of ZFC+``c= omega_2'' in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c there exists a continuous function f:R-> R with f[X]=[0,1]. In particular in this model there is no magic set, i.e., a set M subseteq R such that the equation f[M]=g[M] implies f=g for every continuous nowhere constant functions f,g:R-> R .
math.LO
Strongly compact cardinals and the continuum function
We study the general problem of the behaviour of the continuum function in the presence of non-supercompact strongly compact cardinals.
math.LO
强紧基数之上的广义连续统假设
The generalized continuum hypothesis above a strongly compact cardinal
Einstein Institute of Mathematics（爱因斯坦数学研究所）；The Hebrew University of Jerusalem（希伯来大学）
本文证明若κ为强紧基数且GCH在κ之下成立，则GCH整体成立，解答了Woodin的长期开放问题。
math.LO
