We will construct several models where there are no strongly meager sets of size 2ℵ0.

A set X⊆ℝ is strongly meager if for every measure zero set H, X+H ≠ℝ. Let [Formula: see text] denote the collection of strongly meager sets. We show that assuming [Formula: see text], [Formula: see text] is not an ideal.

Abstract.We will construct several models where there are no strongly meager sets of size 2ℵ0.

We prove that every countably determined set C is U-meager if and only if every internal subset A of C is U-meager, provided that the cofinality and coinitiality of the cut U are both uncountable. As a consequence we prove that for such cuts a countably determined set C which intersects every U-monad in at most countably many points is U-meager. That complements a similar result in [KL]. We also give some partial solutions to some open problems (...) from [KL]. We prove that the set K = {1,...,H}, where H is an infinite integer, cannot be expressed as a countable union of countably determined sets each of which is U-meager for some cut U with min{cf (U), ci (U)} ≥ ω1. Also, every Borel, Σ1 m or countably determined set C which is U-meager for every cut U is a countable union of Borel, Σ1 m or countably determined sets respectively, which are U-nowhere dense for every cut U. Further, the class of Borel U-meager sets for min{cf(U), ci(U)} ≥ ω1 coincides with the least family of sets containing internal U-meager sets and closed with respect to the operation of countable union and intersection. The same is true if the phrase "U-meager sets" is replaced by "U-meager for every cut U.". (shrink)

We show, using a variation of Woodin’s partial order ℙ max , that it is possible to destroy the saturation of the nonstationary ideal on ω 1 by forcing with a Suslin tree. On the other hand, Suslin trees typcially preserve saturation in extensions by ℙ max variations where one does not try to arrange it otherwise. In the last section, we show that it is possible to have a nonmeager set of reals of size ℵ1, saturation of the nonstationary (...) ideal, and no weakly Lusin sequences, answering a question of Shelah and Zapletal. (shrink)

We study a strengthening of the notion of a perfectly meager set. We say 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_\sigma $ -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 (...) class='Hi'>meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński. (shrink)

We show that the model for the simultaneous consistency of the Borel Conjecture and the dual Borel Conjecture given in actually satisfies a stronger version of the dual Borel Conjecture: there are no uncountable very meager sets.

We prove that the cofinality of the smallest covering of R by meager sets is bigger than the additivity of measure.

By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M.A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion (...) akin to strong measure zero.We investigate the validity of this result in Polish groups. We prove, e.g., that a set in a locally compact Polish group admitting an invariant metric is meager-additive if and only if it has sharp measure zero. We derive some consequences and calculate some cardinal invariants. (shrink)

In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets. RID=""ID="" Mathematics Subject Classification (2000): 03e35 RID=""ID="" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658.

We consider the infinite game where player ONE chooses terms of a strictly increasing sequence of first category subsets of a space and TWO chooses nowhere dense sets. If after ω innings TWO's nowhere dense sets cover ONE's first category sets, then TWO wins. We prove a theorem which implies for the real line: If TWO has a winning strategy which depends on the most recent n moves of ONE only, then TWO has a winning strategy depending (...) on the most recent 3 moves of ONE (Corollary 3). Our results give some new information concerning Problem 1 of [S1] and clarifies some of the results in [B-J-S] and in [S1]. (shrink)

Our main inspiration is the work in paper (Gitik and Shelah in Isr J Math 124(1):221–242, 2001). We will prove that for a partition \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} of the real line into meager sets and for any sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}_n}$$\end{document} of subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} one can find a sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_n}$$\end{document} such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_{n}}$$\end{document}’s are pairwise disjoint and have the same “outer measure with respect to the ideal of meager sets”. We get also generalization of this result to a class of σ-ideals posessing Suslin property. However, in that case we use additional set-theoretical assumption about non-existing of quasi-measurable cardinal below continuum. (shrink)

We improve results of Marczewski, Frankiewicz, Brown, and others comparing the σ-ideals of measure zero, meager, Marczewski measure zero, and completely Ramsey null sets; in particular, we remove CH from the hypothesis of many of Brown's constructions of sets lying in some of these ideals but not in others. We improve upon work of Marczewski by constructing, without CH, a nonmeasurable Marczewski measure zero set lacking the property of Baire. We extend our analysis of σ-ideals to include (...) the completely Ramsey null sets relative to a Ramsey ultrafilter and obtain all 32 possible examples of sets in some ideals and not others, some under the assumption of MA, but most in ZFC alone. We also improve upon the known constructions of a Marczewski measure zero set which is not Ramsey by using a set theoretic hypothesis which is weaker than those used by other authors. We give several consistency proofs: one concerning the relative sizes of the covering numbers for the meager sets and the completely Ramsey null sets; another concerning the size of non(CRU 0); and a third concerning the size of add(CRU 0). We also study those classes of perfect sets which are bases for the class of always first category sets. (shrink)

Bartoszynski, T. and S. Shelah, Closed measure zero sets, Annals of Pure and Applied Logic 58 93–110. We study the relationship between the σ-ideal generated by closed measure zero sets and the ideals of null and meager sets. We show that the additivity of the ideal of closed measure zero sets is not bigger than covering for category. As a consequence we get that the additivity of the ideal of closed measure zero sets is (...) equal to the additivity of the ideal of meager sets. (shrink)

Assume G is a superstable locally modular group. We describe for any countable model M of Th(G) the quotient group G(M) / Gm(M). Here Gm is the modular part of G. Also, under some additional assumptions we describe G(M) / Gm(M) relative to G⁻(M). We prove Vaught's Conjecture for Th(G) relative to Gm and a finite set provided that ℳ(G) = 1 and the ring of pseudoendomorphisms of G is finite.

We improve results of Marczewski, Frankiewicz, Brown, and others comparing the $\sigma$-ideals of measure zero, meager, Marczewski measure zero, and completely Ramsey null sets; in particular, we remove CH from the hypothesis of many of Brown's constructions of sets lying in some of these ideals but not in others. We improve upon work of Marczewski by constructing, without CH, a nonmeasurable Marczewski measure zero set lacking the property of Baire. We extend our analysis of $\sigma$-ideals to include (...) the completely Ramsey null sets relative to a Ramsey ultrafilter and obtain all 32 possible examples of sets in some ideals and not others, some under the assumption of MA, but most in ZFC alone. We also improve upon the known constructions of a Marczewski measure zero set which is not Ramsey by using a set theoretic hypothesis which is weaker than those used by other authors. We give several consistency proofs: one concerning the relative sizes of the covering numbers for the meager sets and the completely Ramsey null sets; another concerning the size of non; and a third concerning the size of add$. We also study those classes of perfect sets which are bases for the class of always first category sets. (shrink)

We show that for an uncountable κ in a suitable Cohen real model for any family {A ν } ν<κ of sets of reals there is a σ-homomorphism h from the σ-algebra generated by Borel sets and the sets A ν into the algebra of Baire subsets of 2 κ modulo meager sets such that for all Borel B, B is meager iff h(B) = 0. The proof is uniform, works also for random reals (...) and the Lebesgue measure, and in this way generalizes previous results of Carlson and Solovay for the Lebesgue measure and of Kamburelis and Zakrzewski for the Baire property. (shrink)

We study some properties of the quotient forcing notions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q_{tr(I)} = \wp(2^{< \omega})/tr(i)}$$\end{document} and PI = B(2ω)/I in two special cases: when I is the σ-ideal of meager sets or the σ-ideal of null sets on 2ω. We show that the remainder forcing RI = Qtr(I)/PI is σ-closed in these cases. We also study the cardinal invariant of the continuum \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\mathfrak{h}_{\mathbb{Q}}}$$\end{document}, the distributivity number of the quotient \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Dense(\mathbb{Q})/nwd}$$\end{document}, in order to show that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\wp(\mathbb{Q})/nwd}$$\end{document} collapses \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{c}}$$\end{document} to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{h}_{\mathbb{Q}}}$$\end{document}, thus answering a question addressed in Balcar et al. (Fundamenta Mathematicae 183:59–80, 2004). (shrink)

Ruby Meager; The Dangers of Aestheticism in Schooling, Journal of Philosophy of Education, Volume 15, Issue 1, 30 May 2006, Pages 23–30, https://doi.org/10.1111.

Ruby Meager; The Dangers of Aestheticism in Schooling, Journal of Philosophy of Education, Volume 15, Issue 1, 30 May 2006, Pages 23–30, https://doi.org/10.1111.

Miss R. Meager; III.—The Uniqueness of a Work of Art, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 49–70, https://doi.org/10.

In an ω1-saturated nonstandard universe a cut is an initial segment of the hyperintegers which is closed under addition. Keisler and Leth in [KL] introduced, for each given cut U, a corresponding U-topology on the hyperintegers by letting O be U-open if for any x ∈ O there is a y greater than all the elements in U such that the interval $\lbrack x - y, x + y\rbrack \subseteq O$ . Let U be a cut in a hyperfinite time (...) line H, which is a hyperfinite initial segment of the hyperintegers. A subset B of H is called a U-Lusin set in H if B is uncountable and for any Loeb-Borel U-meager subset X of H, B ∩ X is countable. Here a Loeb-Borel set is an element of the σ-algebra generated by all internal subsets of H. In this paper we answer some questions of Keisler and Leth about the existence of U-Lusin sets by proving the following facts. (1) If $U = x/\mathbb{N} = \{y \in \mathscr{H}: \forall n \in \mathbb{N}(y < x/n)\}$ for some x ∈ H, then there exists a U-Lusin set of power κ if and only if there exists a Lusin set of the reals of power κ. (2) If U ≠ x/N but the coinitiality of U is ω, then there are no U-Lusin sets if CH fails. (3) Under ZFC there exists a nonstandard universe in which U-Lusin sets exist for every cut U with uncountable cofinality and coinitiality. (4) In any ω2-saturated nonstandard universe there are no U-Lusin sets for all cuts U except U = x/N. (shrink)

We will prove that there exists a model of ZFC+"c = ω 2 " in which every $M \subseteq \mathbb{R}$ of cardinality less than continuum c is meager, and such that for every $X \subseteq \mathbb{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 \mathbb{R}$ such that the equation f[M] = g[M] implies f = g (...) for every continuous nowhere constant functions f, g: R → R. (shrink)