Related papers: Set-theoretical problems concerning Hausdorff meas…
Denote by $\mathcal{NA}$ and $\mathcal{MA}$ the ideals of null-additive and meager-additive subsets of~$2^\omega$, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{NA})=\mathrm{non}(\mathcal{NA})$ and introduce a new (Polish)…
In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…
Given $\ut\in\Rm$ and any norm $\Vert.\Vert$ on $\Rm$, we consider "inhomogeneously singular" vectors in $\Rm$ that admit an integer vector solution $(q,\underline{p})=(q,p_1,\ldots,p_m)$ to the system \[ 1\leq q\leq Q, \qquad \Vert…
In this article, we first generalize Kaplansky's zero-divisor conjecture of group-rings $K[G]$ (with $K$ a field) to the more general setting of $G$-graded rings $R=\bigoplus\limits_{n\in G}R_{n}$ with $G$ a torsion-free group. Then we…
We show that, generically, the unique invariant measure of a sufficiently regular piecewise smooth circle homeomorphism with irrational rotation number and zero mean nonlinearity (e.g., piecewise linear) has zero Hausdorff dimension. To…
A notion of sectional regularity for a homogeneous ideal $I$, which measures the regularity of its generic sections with respect to linear spaces of various dimensions, is introduced. It is related to axial constants defined as the…
Let G be a graph with a perfect matching. A complete forcing set of G is a subset of edges of G to which the restriction of every perfect matching is a forcing set of it. The complete forcing number of G is the minimum cardinality of…
Under a reasonable decay assumption on the approximating function, we establish a zero-full law for the Hausdorff measure of sets of inhomogeneous Dirichlet non-improvable affine forms with weights, thereby answering a question posed by Kim…
It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…
For a smooth strongly convex Minkowski norm $F:\mathbb{R}^n \to \mathbb{R}_{\geq0}$, we study isometries of the Hessian metric corresponding to the function $E=\tfrac12F^2$. Under the additional assumption that $F$ is invariant with respect…
We consider the Suslov problem of nonholonomic rigid body motion with inhomogeneous constraints. We show that if the direction along which the Suslov constraint is enforced is perpendicular to a principal axis of inertia of the body, then…
This is a slightly corrected version of an old work. For a cardinal $\mu$ we give a sufficient condition $\oplus_\mu$ (involving ranks measuring existence of independent sets) for: $\otimes_\mu$ if a Borel set $B\subseteq \mathbb{R} \times…
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all…
In this paper we investigate the following questions. Let $\mu, \nu$ be two regular Borel measures of finite total variation. When do we have a constant $C$ satisfying $$\int f d\nu \le C \int f d\mu$$ whenever $f$ is a continuous…
A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…
For c in [0,1] let P_n(c) denote the set of n-vertex perfect graphs with density c and C_n(c) the set of n-vertex graphs without induced C_5 and with density c. We show that log|P_n(c)|/binom{n}{2}=log|C_n(c)|/binom{n}{2}=h(c)+o(1) with…
We study Sobolev mappings $f \in W_{\mathrm{loc}}^{1,n} (\mathbb{R}^n, \mathbb{R}^n)$, $n \ge 2$, that satisfy the heterogeneous distortion inequality \[\left|Df(x)\right|^n \leq K J_f(x) + \sigma^n(x) \left|f(x)\right|^n\] for almost every…
We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal…
With every $\sigma$-ideal $I$ on a Polish space we associate the $\sigma$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $\sigma$-ideals $I$ and $I^*$ and find connections…
We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…