Related papers: David's trick

In the simplest compactification, we discuss the intermediate unification in M-theory on $S^1/Z_2$, and point out that we can push the eleven dimension Planck scale to the TeV range if the gauge coupling in the hidden sector is super weak,…

The Sigma formulas of the language of arithmetic express semidecidable relations on the natural numbers. More generally, whenever a totality of objects is regarded as incomplete, the Sigma formulas express relations that are witnessed in a…

We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…

We show that no total functional can uniformly transform $\Pi_1$ primality into explicit $\Sigma_1$ witnesses without violating normalization in $\mathsf{HA}$. The argument proceeds through three complementary translations: a geometric…

We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…

Let p be an odd prime, n an odd positive integer and C the p-Sylow subgroup the class group of the p-cyclotomic extension of the rationals. When log(p) is bigger than n**(224n**4), we prove that the eigenspace on C attached to the (p-n)-th…

In 1967, Schmidt wrote a seminal paper [10] on heights of subspaces of R n or C n defined over a number field K, and diophantine approximation problems. The going-down Theorem -- one of the main theorems he proved in his paper -- remains…

We prove that if the classical Baum-Connes conjecture in complex K-theory is true (for a given discrete group G), then the conjecture is also true in the real case (for the same group G). The essential ingredients of the proof are the…

Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic programming framework, they may also help to detect some…

We prove that a finite von Neumann algebra ${\mathcal A}$ is semisimple if the algebra of affiliated operators ${\mathcal U}$ of ${\mathcal A}$ is semisimple. When ${\mathcal A}$ is not semisimple, we give the upper and lower bounds for the…

A smooth scheme X over a field k of positive characteristic is said to be strongly liftable over W_2(k), if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, we first deduce the Kummer covering trick…

We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduce the problem to an inner model where the axiom of choice…

We provide a new proof of Vivinai's Theorem using what George Polya calls a 'leading particular case.' Our proof highlights the role of generalization in mathematics.

Let M be a compact oriented even-dimensional manifold. This note constructs a compact symplectic manifold S of the same dimension and a map f from S to M of strictly positive degree. The construction relies on two deep results: the first is…

In [R2] and [RO] the Arnold conjecture for closed symplectic manifolds with trivial second homotopy group was proved. This proof used surgery and cobordism theory. Here we give a purely cohomological proof of this result.

The formalism of exact 1D quantization is reviewed in detail and applied to the spectral study of three concrete Schr\"odinger Hamiltonians $[-\d^2/\d q^2 + V(q)]^\pm$ on the half-line $\{q>0\}$, with a Dirichlet (-) or Neumann (+)…

It is well known that the Riemann zeta function, as well as several other $L$-functions, is universal in the strip $1/2<\sigma<1$; this is certainly not true for $\sigma>1$. Answering a question of Bombieri and Ghosh, we give a simple…

While there has been progress in establishing the unprovability of complexity statements in lower fragments of bounded arithmetic, understanding the limits of Je\v{r}\'abek's theory $APC_1$ (2007) and of higher levels of Buss's hierarchy…

The aim of this paper is to give mathematical account of an argument of David Lewis in Parts of Classes in defense of universalism in mereology. Specifically we study how to extend models of Core Mereology (following Achille Varzi's…

There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method…