Related papers: Borel equivalence relations between \ell_1 and \el…
For a prime $\ell$ and an abelian variety $A$ over a global field $K$, the $\ell$-parity conjecture predicts that, in accordance with the ideas of Birch and Swinnerton-Dyer, the $\mathbb{Z}_{\ell}$-corank of the $\ell^{\infty}$-Selmer group…
We classify all the relative positions between an ellipsoid and an elliptic paraboloid when the ellipsoid is small in comparison with the paraboloid ({\it small} meaning that the ellipsoid cannot be tangent to the paraboloid at two points…
The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…
In this paper we prove that for any $p\in[2,\infty)$ the $\ell_p^n$ unit ball, $B_p^n$, satisfies the square negative correlation property with respect to every orthonormal basis, while we show it is not always the case for $1\le p\le 2$.…
We study the discrete Bourgain-Morrey sequence spaces $\ell^{p}_{q,r}(\mathbb{Z})$, recently introduced as discrete counterparts of Morrey-type spaces. We show that $c_{00}$ is dense in $\ell^{p}_{q,r}$, hence the spaces are separable. We…
It is known that ${\cal B}(\ell^p)$ is not amenable for $p =1,2,\infty$, but whether or not ${\cal B}(\ell^p)$ is amenable for $p \in (1,\infty) \setminus \{2 \}$ is an open problem. We show that, if ${\cal B}(\ell^p)$ is amenable for $p…
We study the Borel and analytic subsets of the spaces \({}^{\kappa}\kappa\) and \({}^{\kappa}2\) endowed with ideal topologies, where \(\kappa\) is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in…
We show that, up to Morita equivalence, any finite-dimensional algebra with a suitable homological system, admits an exact Borel subalgebra. This generalizes a theorem by Koenig, K\"ulshammer and Ovsienko, which holds for quasi-hereditary…
We prove the consistency of $\binom{\mu^+}{\mu}\nrightarrow\binom{\mu^+ \omega_1}{\mu\ \mu}$ where $\mu$ is a strong limit singular cardinal of countable cofinality. This result can be forced at limit of measurable cardinals and at small…
We prove unconditionally that for each $\ell \geq 1$, the difference $\phi(p-\ell) - \phi(p+\ell)$ is positive for $50\%$ of odd primes $p$ and negative for $50\%$.
We express the Partial regularities and $a^*$-invariants of a Borel type ideal in terms of its irredundant irreducible decomposition. In addition we consider the behaviours of those invariants under intersections and sums.
For any Borel ideal we characterize ideal equal Baire system generated by the families of continuous and quasi-continuous functions, i.e., the families of ideal equal limits of sequences of continuous and quasi-continuous functions.
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
We consider the PDE $-\Delta_pu=\rho$, where $\rho$ is a signed Borel measure on $\mathbb{R}^n$. For each $p>n$, we characterize solutions as extremals of a generalized Morrey inequality determined by $\rho$.
We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group $\Gamma$ we introduce the $\Gamma$-jump. We study the elementary properties of the $\Gamma$-jumps and compare them with other…
We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…
By using some recent results for divergence form equations, we study the $L_p$-solvability of second-order elliptic and parabolic equations in nondivergence form for any $p\in (1,\infty)$. The leading coefficients are assumed to be in…
A note that points out the possibility to have p<1 in Sobolev type of inequalities by a use of the momomial structure of polynomials or power series. The proof is simple: Triangle angle inequality p*>1, monomial estimate from p* to exponent…
We consider $\ell$-log-momotonic sequences and Laguerre inequality of order two for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{\alpha_i}} + o\left( \frac{1}{n^{\beta}}…
We first highlight the main differences between second order and higher order linear parabolic equations. Then we survey existing results for the latter, in particular by analyzing the behavior of the convolution kernels. We illustrate the…