Related papers: The strong Spector-Gandy Theorem for the higher an…

A new mathematical object called a skand is introduced, which turns out in general to be a non-well-founded set. Skands of finite lengths are ordinary well-founded sets, and skands of very long length (like the hyper-skand of all ordinals)…

We state the generating hypothesis in the homotopy category of G-spectra for a compact Lie group G, and prove that if G is finite, then the generating hypothesis implies the strong generating hypothesis, just as in the non-equivariant case.…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

Let $\mathcal{C}$ be a class of graphs that is closed under taking subgraphs. We prove that if for some fixed $0<\delta\le 1$, every $n$-vertex graph of $\mathcal{C}$ has a balanced separator of order $O(n^{1-\delta})$, then any depth-$k$…

We deduce an effective version of Schmidt's subspace theorem on a smooth projective variety X over function fields of characteristic zero for hypersurfaces located in N-subgeneral position with respect to X.

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

The famous strongly binary Goldbach's conjecture asserts that every even number $2n \geq 8$ can always be expressible as the sum of two distinct odd prime numbers. We use a new approach to dealing with this conjecture. Specifically, we…

We formulate a multi-variable p-adic Birch and Swinnerton-Dyer conjecture for p-ordinary elliptic curves A over number fields K. It generalises the one-variable conjecture of Mazur-Tate-Teitelbaum, who studied the case K=Q and the…

We establish a type of the Picard's theorem for entire curves in $P^n(\mathbb C)$ whose spherical derivative vanishes on the inverse images of hypersurface targets. Then, as a corollary, we prove that there is an union $D$ of finite number…

Let $K\subseteq \mathbb{R}$ be a number field. Using techniques of discrete analysis, we prove that for definable sets $X$ in $\mathbb{R}_{\exp}$ of dimension at most $2$ a conjecture of Wilkie about the density of rational points is…

The centerpoint theorem is a well-known and widely used result in discrete geometry. It states that for any point set $P$ of $n$ points in $\mathbb{R}^d$, there is a point $c$, not necessarily from $P$, such that each halfspace containing…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We extend Ueda's peak set theorem for subdiagonal subalgebras of tracial finite von Neumann algebras, to sigma-finite von Neumann algebras (that is, von Neumann algebras with a faithful state; which includes those on a separable Hilbert…

Let $H$ be a complex Hilbert space and let ${\mathcal P}(H)$ be the associated projective space (the set of rank-one projections). Suppose that $\dim H\ge 3$. We prove the following Wigner-type theorem: if $H$ is finite-dimensional, then…

We study the strong Borel-Cantelli property both for events and for shifts on sequence spaces considering both a conventional and a nonconventional setups. Namely, under certain conditions on events $\Gamma_1,\Gamma_2,...$ we show that with…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

The well-known Landau's theorem states that, for any positive integer $k$, there are finitely many isomorphism classes of finite groups with exactly $k$ (conjugacy) classes. We study variations of this theorem for $p$-regular classes as…

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

We prove that a Spector--like ultrapower extension $\gN$ of a countable Solovay model $\gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $\gM[\al]$ where…