Related papers: $G_{\delta}$ sets in $\sigma$-ideals generated by …

A space has $\sigma$-compact tightness if the closures of $\sigma$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable…

Answering a question of Elekes and Vidny\'anszky, we construct a Polish meta-abelian group $H$ and a subgroup $F\subset H$, which is a Haar null $F_\sigma$-set in $H$ that cannot be enlarged to a Haar null $G_\delta$-set.

We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a…

We strengthen, in various directions, the theorem of Garnett that every $\sigma$-compact, completely regular space $X$ occurs as a Gleason part for some uniform algebra. In particular, we show that the uniform algebra can always be chosen…

Consider rings of single variable real analytic or complex entire functions, denoted by $\mathbb{K}\langle z\rangle$. We study "discrete $z$-filters" on $\mathbb{K}$ and their connections with the space of maximal ideals of…

Let $\mathcal{E}$ be the ideal generated by the $F_\sigma$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of…

A $\sigma$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several…

A $\sigma$-ideal $\cal{I}$ on a set $X$ is supersaturated if for every family $\cal{F}$ of $\cal{I}$-positive sets with $|\cal{F}| < \mathrm{add}(\cal{I})$, there exists a countable set that meets every set in $\cal{F}$. We show that many…

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if $G$ is a Polish group and $H,L \subseteq G$ are subgroups, we say $H$ is {\em homomorphism reducible} to $L$ iff there is a continuous…

Answering questions raised in \cite{Leonetti, Uzcategui} we characterize ideals $\mathcal I\subseteq \mathcal P(\omega)$ such that $c_{0,\mathcal I}$ is complemented in $\ell_\infty$ as exactly those ideals for which the space $K_{\mathcal…

Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…

Let W be an associative PI algebra over a field F of characteristic zero, graded by a finite group G. Let id_{G}(W) denote the T-ideal of G-graded identities of W. We prove: 1. {[G-graded PI equivalence]} There exists a field extension K of…

Let G be a Roelcke-precompact non-archimedean Polish group, B(G) the algebra of matrix coefficients of G arising from its continuous unitary representations. The Gel'fand spectrum H(G) of the norm closure of B(G) is known as the Hilbert…

Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product…

A subset U of a group G is called k-universal if U contains a translate of every k-element subset of G. We give several nearly optimal constructions of small k-universal sets, and use them to resolve an old question of Erdos and Newman on…

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_\sigma$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space…

The concept of $\mathcal S$-topological $\sigma$-ideal in measurable space $(X, \mathcal S)$ was introduced by Hejduk and using a theorem of Wagner on convergence of measurable functions characterized $\mathcal S$-topological…

Let $X$ be a zero-dimensional compact metrizable space endowed with a strictly positive continuous Borel $\sigma$-additive measure $\mu$ which is good in the sense that for any clopen subsets $U,V\subset X$ with $\mu(U)<\mu(V)$ there is a…