Related papers: Half of an inseparable pair
A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of…
In this paper, we give an alternative proof of separation of variables for scalar-valued polynomials $P:(\mathbb R^m)^k\to\mathbb C$ in the semistable range $m\geq 2k-1$ for the symmetry given by the orthogonal group $O(m)$. It turns out…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
For integrable Hamiltonian systems with two degrees of freedom whose Hamiltonian vector fields have incomplete flows, an analogue of the Liouville theorem is established. A canonical Liouville fibration is defined by means of an "exact"…
Let $\alpha_1, \cdots, \alpha_d$ be real numbers, and let $S$ be the set of integers $s$ so that $||\alpha_i s||_{\mathbb{R}/\mathbb{Z}}>\delta$ for some $i$ and some fixed $\delta>0$. We prove $S$ is not \enquote{$2$-large}, i.e. there is…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
We settle a conjecture of Farmer and Ki in a stronger form. Roughly speaking we show that there is a positive proportion of small gaps between consecutive zeros of the zeta-function $\zeta(s)$ if and only if there is a positive proportion…
It is shown, that each Lifting cocycle $\Psi_{2n+1},\Psi_{2n+3},\Psi_{2n+5},...$ ([Sh1], [Sh2]) on the Lie algebra $\Dif_n$ of polynomial differential operators on an $n$-dimensional complex vector space is the sum of two cocycles, its even…
Let $S(\phi)= \{z:\;|\arg(z)|\geq \phi\}$ be a sector on the complex plane $\CC$. If $\phi\geq \pi/2$, then $S(\phi)$ is a convex set and, according to the Gauss-Lucas theorem, if a polynomial $p(z)$ has all its zeros on $S(\phi)$, then the…
Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda =…
The goal of this paper is to show that many key results found in the study of Einstein Lorentzian nilpotent Lie algebras can still hold in the more general settings of unimodular Lie algebras and (completely) solvable Lie algebras.
The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(\lambda)$ by Klav\v{z}ar et. al. by defining $S_0(\lambda) = 0$, $S_1(\lambda) = 1$, and $$S_{2n}(\lambda) = \lambda S_n(\lambda),\quad…
In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…
We show that the statement ``In every separable pseudometric space there is a maximal non-strictly \delta-separated set.'' implies the axiom of choice for countable families of sets. This gives answers to a question of Dybowski and…
For a class of nonassociative metagroup algebras their separability is investigated. For this purpose the cohomology theory on them is utilized. Conditions are found under which nonassociative metagroup algebras are separable. Algebras…
We continue to study the distribution of prime numbers $p$, satisfying the condition $\{ p^{\alpha} \} \in I \subset [0; 1)$, in arithmetic progressions. In the paper, we prove an analogue of Bombieri-Vinogradov theorem for $0 < \alpha <…
In this paper some results on the Lie structure of prime superalgebras are discussed. We prove that, with the exception of some special cases, for a prime superalgebra, $A$, over a ring of scalars $\Phi$ with $1/2\in \Phi$, if $L$ is a Lie…
Bonicatto--Pasqualetto--Rajala (2020) proved that a decomposition theorem for sets of finite perimeter into indecomposable sets, known to hold in Euclidean spaces, holds also in complete metric spaces equipped with a doubling measure,…
For $n \ge 2$, Gamburd, Jakobson, and Sarnak [J. Eur. Math. Soc. 1, 51-85 (1999)] conjectured that almost every $n$-tuple in $\mathrm{SU}(2)$ has a spectral gap. Toward this conjecture, Fisher [Int. Math. Res. Not. (2006)] established a…
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.)…