Related papers: $F_\sigma$ ideals of perfectly bounded sets

For a family $\mathcal{F}\subseteq \omega^\omega$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $\omega\times\omega$ to be the ideal generated by the family $\{A\subseteq \omega\times\omega:\exists f\in \mathcal{F}\,\forall^\infty n\,…

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.

Inspired by recent questions of Nathanson, we show that for any infinite abelian group $G$ and any integers $m_1, \ldots, m_H$, there exist finite subsets $A,B \subseteq G$ such that $|hA|-|hB|=m_h$ for each $1 \leq h \leq H$. We also…

A set of meet-irreducible ideals is described for a class of maximal triangular almost finite algebras. This set forms a topological space under the hull-kernel closure, and there is a one-to-one correspondence between closed sets in this…

It is known that for $X$ a nowhere locally compact metric space, the set of bounded continuous, nowhere locally uniformly continuous real-valued functions on $X$ contains a dense $G_\delta$ set in the space $C_b(X)$ of all bounded…

Let $S$ and $\mathcal{C}$ be affine semigroups in $\mathbb{N}^d$ such that $S\subseteq \mathcal{C}$. We provide a characterization for the set $\mathcal{C}\setminus S$ to be finite, together with a procedure and computational tools to check…

For a Banach space $X$ its subset $Y\subseteq X$ is called overcomplete if $|Y|=dens(X)$ and $Z$ is linearly dense in $X$ for every $Z\subseteq Y$ with $|Z|=|Y|$. In the context of nonseparable Banach spaces this notion was introduced…

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

Using the variational method, it is shown that the set of all strong peak functions in a closed algebra $A$ of $C_b(K)$ is dense if and only if the set of all strong peak points is a norming subset of $A$. As a corollary we can induce the…

Given a C*-algebra B which is graded over a discrete group G we consider ideals of B which are invariant under the projections onto each of the grading subspaces. If G is exact and the standard conditional expectation of B is faithful we…

We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by parameter-definable sets of $\mathbf M$ in each…

A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $\phi \colon S \to T$ is an embedding of finite sets then the induced homomorphism…

We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…

Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $\mathbb{F}$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $\mathbb{F}$, can be defined using…

Let $C_b(K)$ be the set of all bounded continuous (real or complex) functions on a complete metric space $K$ and $A$ a closed subspace of $C_b(K)$. Using the variational method, it is shown that the set of all strong peak functions in $A$…

For a nonempty topological space X, the ring of all real-valued functions on $X$ with pointwise addition and multiplication is denoted by $F(X)$ and continuous members of $F(X)$ is denoted by $C(X)$. Let $A(X)$ be a subring of $F(X)$ and…

We show that for any set $A \subset \mathbb{N}$ with positive upper density and any $\ell,m \in \mathbb{N}$, there exist an infinite set $B\subset \mathbb{N}$ and some $t\in \mathbb{N}$ so that $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\…

Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and…

~This paper presents a general result that allows for establishing a link between the Kolmogorov-Marcinkiewicz-Zygmund strong law of large numbers and Feller's strong law of large numbers in a Banach space setting. Let $\{X, X_{n}; n \geq…

A set of integers $S \subset \mathbb{N}$ is an $\alpha$-strong Sidon set if the pairwise sums of its elements are far apart by a certain measure depending on $\alpha$, more specifically if $| (x+w) - (y+z) | \geq \max \{…