Related papers: Strongly meager sets do not form an ideal

Let $\mathcal{I}$ be an analytic P-ideal [respectively, a summable ideal] on the positive integers and let $(x_n)$ be a sequence taking values in a metric space $X$. First, it is shown that the set of ideal limit points of $(x_n)$ is an…

We study the relationship between the sigma-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.…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Let $R$ be a commutative ring with non-zero identity. In this paper, we introduce the concept of weakly $J$-ideals as a new generalization of $J$-ideals. We call a proper ideal $I$ of a ring $R$ a weakly $J$-ideal if whenever $a,b\in R$…

Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly…

A finite set of integers $A$ is a sum-dominant (also called an More Sums Than Differences or MSTD) set if $|A+A| > |A-A|$. While almost all subsets of $\{0, \dots, n\}$ are not sum-dominant, interestingly a small positive percentage are. We…

A Steinhaus set $S \subseteq \RR^d$ for a set $A \subseteq \RR^d$ is a set such that $S$ has exactly one point in common with $\tau A$, for every rigid motion $\tau$ of $\RR^d$. We show here that if $A$ is a finite set of at least two…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

In each Menger manifold $M$ we construct: (i) a closed nowhere dense subset $M_0$ which is homeomorphic to $M$ and is universal nowhere dense in the sense that for each nowhere dense set $A\subset M$ there is a homeomorphism $h$ of $M$ such…

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and…

We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $\omega_1$. Some relations between combinatorial covering properties…

We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]

Let $\mathscr{X}$ be the set of positive real sequences $x=(x_n)$ such that the series $\sum_n x_n$ is divergent. For each $x \in \mathscr{X}$, let $\mathcal{I}_x$ be the collection of all $A\subseteq \mathbf{N}$ such that the subseries…

For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly…

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…

In this article, we shall explore the constructions of Bernstein sets, and prove that every Bernstein set is nonmeasurable and doesn't have the property of Baire. We shall also prove that Bernstein sets don't have the perfect set property.

In this article, we prove some subsets of the set of natural numbers $\mathbb{N}$ and any non-zero ideals of an order of imaginary quadratic fields are fractionally dense in $\mathbb{R}_{>0}$ and $\mathbb{C}$ respectively.

An ideal on a set $X$ is a collection of subsets of $X$ closed under the operations of taking finite unions and subsets of its elements. Ideals are a very useful notion in topology and set theory and have been studied for a long time. We…

Let $G$ be an abelian group of finite order $n$, and let $h$ be a positive integer. A subset $A$ of $G$ is called {\em weakly $h$-incomplete}, if not every element of $G$ can be written as the sum of $h$ distinct elements of $A$; in…

For subsets of $\mathbb R^+ = [0,\infty)$ we introduce a notion of coherently porous sets as the sets for which the upper limit in the definition of porosity at a point is attained along the same sequence. We prove that the union of two…