Not every gamma-set is strongly meager
英文摘要：
We present two constructions of gamma-sets which are large in sense of category.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
每个实数的零可加集都是弱可加的
Every null additive set of reals is meager additive
我们证明了每个零可加集都是贫乏可加的，其中：（1）一个集合X subseteq 2 ^omega是零可加的，如果对于每个勒贝格零集A subseteq 2 ^omega，X+A也是零的;（2）我们说X subseteq 2 ^omega是贫乏可加的，如果对于每个贫乏的A subseteq 2 ^omega，X+A也是贫乏的。
math.LO
On perfectly meager sets
A set of reals A is called perfectly meager if A \cap P is meager in P, for every perfect set P. Marczewski asked if the product of perfectly meager sets is perfectly meager. In the paper it is shown that it is consistent that the answer to this question is positive. (It is known that it is also consistent that the answer is negative (Reclaw))
math.LO
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
Hechler's theorem for the meager ideal
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the real line which is order-isomorphic to Q with respect to set-inclusion. This is a variation of Hechler's classical result in the theory of forcing.
math.LO
Countably perfectly meager sets
We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_σ$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński.
math.GNmath.LO
Higher dimensional obstructions for star reductions
A $*$-reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $*$-reduction between orbit equivalence relations induces generically an embedding between the associated Becker graphs. We introduce a notion of dimension for Polish $G$-spaces which is generically preserved under $*$-reductions. For every natural number $n$ we define a free action of $S_{\infty}$ whose dimension is $n$ on every invariant Baire measurable non-meager set. We also show that the $S_{\infty}$-space which induc…
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
良好生成的混沌理想
Nicely generated and chaotic ideals
我们证明了如果实直线是kappa稀疏集的不交并，使得每个稀疏集都包含在它们的可数并中，则kappa = omega_1。这回答了J. Cichon提出的问题。我们还证明了两个定理，大致说，任何试图产生的同构型的微薄的理想在科恩真正的和随机的实际扩展必须失败。我们所有的结果也都适用于用“null”代替“meager”。
math.LO
Borel's conjecture and meager-additive sets
We prove that it is relatively consistent with $\mathrm{ZFC}$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a long-standing question due to Bartoszyński and Judah.
math.GNmath.LO
Baire property and Axiom of Choice
We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of reals has Baire property' + `any union of omega_{1} meager sets is meager' ".
math.LO
贫集与闭测度零集的平移组合学
Combinatorics of translations of meager and closed measure zero sets
Wrocław University of Science and Technology（弗罗茨瓦夫科技大学）
研究贫集与闭测度零集平移的组合性质，探讨相关Borel猜想，获得贫理想可加性新刻画，并证明若干基数不变量关系。
math.LO
Cardinal invariants of Haar null and Haar meager sets
A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $μ$ and a Borel set $B$ containing $X$ such that $μ(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a compact metric space $K$, a continuous function $f : K \to G$ and a Borel set $B$ containing $X$ such that $f^{-1}(gBh)$ is meager in $K$ for every $g,h \in G$. We calculate (in $ZFC$) the four cardinal invariants ($\rm add$, $\rm cov$, $\rm non$, $\rm cof$) of these two $σ$-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb{Z}…
math.GNmath.LO
Non-meager free sets and independent families
Our main result is that, given a collection $\mathcal{R}$ of meager relations on a Polish space $X$ such that $|\mathcal{R}|\leqω$, there exists a dense Baire subspace $F$ of $X$ (equivalently, a nowhere meager subset $F$ of $X$) such that $F$ is $R$-free for every $R\in\mathcal{R}$. This generalizes a recent result of Banakh and Zdomskyy. As an application, we show that there exists a non-meager independent family on $ω$, and define the corresponding cardinal invariant. Furthermore, assuming Martin's Axiom for countable posets, our result can be strengthened by substituting "$|\mathcal{R}|\le…
math.GNmath.LO
可数完全贫乏集与可数完全零集
Countably perfectly meager and countably perfectly null sets
本文通过引入可数完全贫乏集和可数完全零集以强化普遍贫乏集与普遍零集概念，并在连续统假设弱化条件下证明了二者不等价。
math.GNmath.LO
Answer to a question of Rosłanowski and Shelah
In [arXiv:1605.02261] Rosłanowski and Shelah asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely, whether it is consistent with $ZFC$ that in every locally compact group a meager subgroup is always null. They gave affirmative answers for both questions in the case of the Cantor group and the reals. In this paper we give affirmative answers for the general case.
math.GNmath.LO
A space with only Borel subsets
Miklos Laczkovich asked if there exists a Haussdorff (or even normal) space in which every subset is Borel yet it is not meager. The motivation of the last condition is that under MA_kappa every subspace of the reals of cardinality kappa has the property that all subsets are F_sigma, however Martin's axiom also implies that these subsets are meager. Here we answer Laczkovich' question.
math.GNmath.LO
Continuous images of sets of reals
We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.
math.LO
Souslin假设与范畴收敛
Souslin's Hypothesis and Convergence in Category
从Baire空间X到实数的函数序列f_n：X -> R称为在范畴内收敛当且仅当每个子序列都有一个子序列在除贫乏集外的所有集上收敛。证明了如果存在一棵Souslin树，则存在一个非原子Baire空间X，使得每一个在范畴内收敛的序列处处收敛于一个Comager集.这回答了Wagner和Wilczynski的问题，可测函数序列的收敛，Acta Math Acad Sci Hung 36（1980），125-128。
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
On partitions of Ellentuck-large sets
It is proved that no non-meager subspace of the space $[ω]^ω$ equipped with the Ellentuck topology does admit a Kuratowski partition, that is such a subset cannot be covered by a family $\mathfrak{F}$ of disjoint relatively meager sets such that $\bigcup\mathfrak{F}'$ has the Baire property (relatively) for every subfamily $\mathfrak{F}'\subseteq\mathfrak{F}$. It is also shown that the existence of Kuratowski partitions is not a metric problem. Some remarks concerning continuous restrictions of functions with domain in the Ellentuck space are made.
math.GNmath.LO
Non-genericity phenomenon in some ordered Fraisse classes
We show that every two-dimensional class of topological similarity, and hence every diagonal conjugacy class of pairs, is meager in the group of order preserving bijections of the rationals and in the group of automorphisms of the randomly ordered rational Urysohn space.
math.DSmath.LO
理想类的二元性
The Category Dichotomy for Ideals
本文在ZFC框架下反驳了理想类的二元性，通过构造反例并探讨高P-理想与Q^{+}理想在不同模型中的性质。
math.LO
Two examples concerning almost continuous functions
We construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f:R-->R with Cantor intermediate value property which is not almost continuous. This gives a partial answer to a question of D. Banaszewski. We also show that every extendable function g:R-->R with a dense graph satisfies the following stronger version of the SCIVP property: for every a<b and every perfect set K between g(a) and g(b) there is a perfect subset C of (a,b) such that g[C] subset K and g|C is continuous strictly increasing. This property is…
math.CAmath.LO
特拉斯的费弗曼型模型中的理想、良序族与贝尔范畴
Ideals, Well-Orderable Families, and Baire Category in Truss's Feferman-Type Model
在ZF集合论下证明BCT_WO与RS_WO等价，在特拉斯的费弗曼型模型中二者刻画了2^ω的子集性质，研究该模型中2^ω的良序子集理想，得出其与相关拓扑性质的等价关系及该模型的其他结论。
math.LO
The gamma - Borel conjecture
In this paper we show that it is relatively consistent with ZFC that every gamma-set is countable while not every strong measure zero set is countable. This answers a question of Paul Szeptycki. A set is a gamma-set iff every omega-cover contains a gamma-subcover. An open cover is an omega-cover iff every finite set is covered by some element of the cover. An open cover is a gamma-cover iff every element of the space is in all but finitely many elements of the cover. Gerlits and Nagy proved that every gamma-set has strong measure zero. We also show that is consistent that every strong gamma-se…
math.LO
随机偏序集的自同构群不存在泛型对
The automorphism group of the random poset does not admit a generic pair
该研究针对Truss提出的问题，证明随机偏序集的每一对自同构的共轭类都是贫集，同时说明当前定理2的证明存在缺漏，研究仍在推进中。
math.COmath.LO
Which DNR can be minimal
Khan and Miller proved that for every computable non decreasing unbounded function $h\in ω^ω$ (henceforth order function), if $h$ is sufficiently large, then there exists a $DNR_h$ that is of minimal degree. Where $h$ has to satisfy $\lim_{n\rightarrow\infty} h(n)/(2^{k\cdot \prod_{m<n}h(m)})=\infty$ for all $k>0$. Their core argument is that we can thin the tree by a factor of $2^j$ to make $j$ Turing functional split. We improve their result by reducing this factor to $j$. Thus we show that for every order function $h$ with $\lim_{n\rightarrow\infty} h(n)/( \prod_{m<n}h(m))^k=\infty$ for all…
math.LO
代数扩张中不可定义性的拓扑方法——以$\mathbb{Q}$的代数扩张为例
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$
本文通过拓扑方法研究代数扩张中可定义集合的限制，证明对非薄子集Z，满足特定普遍可定义条件的子域集合是贫乏的，并给出新的存在性定义正规形定理。
math.LOmath.NT
A nonhereditary Borel-cover gamma-set
In this paper we prove that if there is a Borel-cover gamma-set of cardinality the continuum, then there is one which is not hereditary. A set of reals X is a Borel-cover gamma-set iff for every countable family of Borel sets which is an omega-cover contains a gamma-cover. This is also denoted S_1(Borel_omega, Borel_gamma). This result partially answers a question of Bartoszynski and Tsaban. Tsaban points out that it also gives an example of set which is both a gamma-set and sigma-set but is not hereditarily gamma, which answers a question of Bukovsky, Reclaw, and Repicky.
math.LO
刚性许多一度包含无限个1度的反链
Rigid many-one degrees contain infinite antichains of $1$-degrees
University of Camerino（卡梅里诺大学）
本文证明了m-刚性的集合其许多一度包含无限个1度的反链，并展示了该结论在随机实数中的应用。
math.LO
On lambda'-sets
A subset X of the Cantor space, 2^ω, is a lambda-prime-set iff for every countable subset Y of the Cantor space Y is relatively G-delta in X union Y. In this paper we prove two forcing results about lambda-prime-sets. First we show that it is consistent that every lambda-prime-set is a gamma-set. Secondly we show that is independent whether or not every dagger-lambda-set is a lambda-prime-set.
math.LO
不可数集与一个无限线性序博弈
Uncountable sets and an infinite linear order game
本文针对 Baker 博弈中 Player II 能否在一般线性序的不可数集上拥有必胜策略的问题给出肯定回答，证明了对任意无限基数均可构造使 Player II 对所有收益集必胜的稠密线性序，并指出了推广该刻画的困难。
math.LO
The cardinal characteristic for relative gamma-sets
For $X$ a separable metric space define $\pp(X)$ to be the smallest cardinality of a subset $Z$ of $X$ which is not a relative $\ga$-set in $X$, i.e., there exists an $\om$-cover of $X$ with no $\ga$-subcover of $Z$. We give a characterization of $\pp(2^\om)$ and $\pp(\om^\om)$ in terms of definable free filters on $\om$ which is related to the psuedointersection number $\pp$. We show that for every uncountable standard analytic space $X$ that either $\pp(X)=\pp(2^\om)$ or $\pp(X)=\pp(\om^\om)$. We show that both of following statements are each relatively consistent with ZFC: (a) $\pp=\pp(\om…
math.GNmath.LO
