Related papers: Some properties of $\mathcal{I}$-Luzin sets

Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $\Pi _{C}% \mathcal{L}$ for familiar…

If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…

If $L$ is a relational language, then an $L$-structure ${\mathbb X}=\langle X,\bar \rho \rangle$ is reversible iff there is no interpretation $\bar \sigma \varsubsetneq \bar \rho$ such that the structures $\langle X,\bar \sigma \rangle$ and…

The present paper attempts to modify the way of constructing a measure in the Alternative Set Theory setting originally devised by Martin Kalina. Introducing a system of cuts of rational numbers extended with some special ones, it is proved…

We consider Lie groups equipped with a left-invariant cyclic Lorentzian metric. As in the Riemannian case, in terms of homogeneous structures, such metrics can be considered as different as possible from bi-invariant metrics. We show that…

We show that some set-theoretic assumptions (for example Martin's Axiom) imply that there is no translation invariant Borel hull operation on the family of Lebesgue null sets and on the family of meager sets in (in R^n). We also prove that…

We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Let $K_1,...,K_n$ Borel subsets of $\mathbb R^{m_1},... ,\mathbb R^{m_n}$ respectively, and $\pi:\mathbb R^{m_1}\times...\times\mathbb…

We show that under some conditions on a family $\mathcal{A}\subset\bbi$ there exists a subfamily $\mathcal{A}_0\subset\mathcal{A}$ such that $\bigcup \mathcal{A}_0$ is nonmeasurable with respect to a fixed ideal $\bbi$ with Borel base of a…

We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs. For this purpose, we…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

In a supersymmetric (SUSY) theory, the IR-contributions to the Higgs mass are calculable below the mediation scale $\Lambda_{\text{UV}}$ in terms of the IR field content and parameters. However, logarithmic sensitivity to physics at…

Let $\mathfrak{F}_n$ be the set of all cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ with unitary central character over a number field $F$. We prove the first unconditional zero density estimate for the set…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

A point set $M$ in Euclidean plane is called an integral point set in semi-general position if all the distances between the elements of $M$ are integers, and $M$ does not contain collinear triples. We improve the lower bound for diameter…

A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…

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…

We establish fractional Leibniz rules in weighted settings for nonnegative self-adjoint operators on spaces of homogeneous type. Using a unified method that avoids Fourier transforms, we prove bilinear estimates for spectral multiplier on…

We prove that every usco multimap $\Phi:X\to Y$ from a metrizable separable space $X$ to a GO-space $Y$ has an $F_\sigma$-measurable selection. On the other hand, for the split interval $\ddot{\mathbb I}$ and the projection $P:\ddot{\mathbb…

Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{R}$. It is easy to prove that if the Lebesgue measure of $K$ is zero, then for Lebesgue almost every $t$, $$K+t=\{x+t:x\in K\}$$ only consists of irrational or…

For a symmetric $R$-space $K/L=G/P$ the standard intertwining operators provide a canonical $G$-invariant pairing between sections of line bundles over $G/P$ and its opposite $G/\overline{P}$. Twisting this pairing with an involution of $G$…