Related papers: A {\omega}-REA Set Forming A Minimal Pair With 0'

We prove that if less than $\aleph_{\omega}$-many Cohen reals are added to a model of \textsf{CH}, then $\omega^{\ast}$ can not be covered by nowhere dense \textsf{P}-sets (equivalently, there is an ultrafilter on $\omega$ that does not…

We introduce fusion algebras with not necessarily positive structure constants and without identity element. We prove that they are semisimple when tensored with $\mathbb{C}$ and that their characters satisfy orthogonality relations. Then…

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.e. closed sets devoid of computable points: sets which are…

A sieve is constructed for ordinary twin primes of the form 6m+/-1 that are characterized by their twin rank m. It has no parity problem. Non-rank numbers are identified and counted using odd primes p>=5. Twin- and non-ranks make up the set…

We prove a conjecture about the minimal nonnegative solutions of algebraic Riccati equations associated with reducible singular M-matrices. The result enhances our understanding of the behaviour of doubling algorithms for finding the…

We use the 0-1 tableaux as a tool for enumerating permutations and partitions with restricted minima. The method used is extended for permutation pairs and partition pairs generated by a bipartite 0-1 tableaux.

For a non-compact simple Lie algebra $\mathfrak{g}$ over $\mathbb{R}$, we denote by $\mathcal{O}^{\mathbb{C}}_{\min,\mathfrak{g}}$ the unique complex nilpotent orbit in $\mathfrak{g} \otimes_\mathbb{R} \mathbb{C}$ containing all minimal…

Given two rings $R \subseteq S$, $S$ is said to be a minimal ring extension of $R$ if $R$ is a maximal subring of $S$. In this article, we study minimal extensions of an arbitrary ring $R$, with particular focus on those possessing nonzero…

We study relations between two log minimal models of a fixed lc pair. For any two log minimal models of an lc pair constructed with log MMP, we prove that there are small birational models of the log minimal models which can be connected by…

I consider a truncation of low-energy string theory which contains two $U(1)$ gauge fields. After making some general comments on the theory, I describe a previously-obtained instanton for the pair creation of black holes when both gauge…

In this paper we consider multi-graded extended Rees algebras of zero dimensional ideals which are Cohen-Macaulay (CM) with minimal multiplicity. We show that the minimal multiplicity property can occur only for the ordinary extended Rees…

A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be…

We prove that suitably generic pairs of linear equations on an even number of variables are uncommon. This verifies a conjecture of Kam\v{c}ev, Morrison and the second author. Moreover, we prove that any large system containing such a…

In this article, we explore the Riemann zeta function with a perspective on primes and non-trivial zeros. We develop the Golomb's recurrence formula for the $n$th+1 prime, and assuming (RH), we propose an analytical recurrence formula for…

This note is devoted to the construction of two very easy examples, of respective dimensions 4 and 6, of graded Lie algebras whose grading is not given by a semigroup, the latter one being a semisimple algebra. It is shown that 4 is the…

We construct an example of a regular algebra over $\mathbb C$ of dimension $d$ and a rank $r$ projective module over it which is not generated by $d+r-1$ elements. This strengthens an example by Swan over the field of real numbers.

In these notes we prove two main results: 1) It is well-known that two strongly continuous $E_0$-semigroups on $B(H)$ can be paired if and only if they have anti-isomorphic Arveson systems. For a new notion of pairing (which coincides only…

An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in $\omega$-models of $\RCA$. One typical way of establishing this implication would…

We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative…

Let $I$ be a monomial ideal in two variables generated by three monomials and let $\mathcal{R}(I)$ be its Rees ideal. We describe an algorithm to compute the minimal generating set of $\mathcal{R}(I)$. Based on the data obtained by this…