Related papers: Generalizing a theorem of B\`{e}s and Choffrut

Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…

Gelfand - Na\u{i}mark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space.…

In this paper, using the framework of equivariant differential geometry, we study proper $SO(p+1) \times SO(q+1)$-invariant biconservative hypersurfaces into the Euclidean space ${\mathbb R}^n$ ($n=p+q+2$) and proper $SO(p+1)$-invariant…

In a joint work with N. Mok in 1997, we proved that for an irreducible representation $G \subset {\bf GL}(V),$ if a holomorphic $G$-structure exists on a uniruled projective manifold, then the Lie algebra of $G$ has nonzero prolongation. We…

The multi-bubble isoperimetric conjecture in $n$-dimensional Euclidean and spherical spaces from the 1990's asserts that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq…

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

We extend Elitzur's theorem to systems with symmetries intermediate between global and local. In general, our theorem formalizes the idea of {\it dimensional reduction}. We apply the results of this generalization to many systems that are…

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The first-one concerns the non-superstability of such groups in most cases, and the second-one concerns the…

A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.

We prove a number of results to the general effect that, under obviously necessary numerical and determinant constraints, "most" morphisms between fixed bundles on a complex elliptic curve produce (co)kernels which can either be specified…

We study the generalized existence of extremizers for the sharp $p$-Sobolev inequality on noncompact Riemannian manifolds in connection with nonnegative curvature and Euclidean volume growth assumptions. Assuming a nonnegative Ricci…

In this paper, we develop a general existence theory for properly embedded minimal surfaces with free boundary in any compact Riemannian 3-manifold $M$ with boundary $\partial M$. The main feature of our result is that no convexity…

Following their resolution of the Erd\H{o}s $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable…

For any decomposition of a Lie superalgebra $\mathcal G$ into a direct sum $\mathcal G=\mathcal H\oplus\mathcal E$ of a subalgebra $\mathcal H$ and a subspace $\mathcal E$, without any further resctrictions on $\mathcal H$ and $\mathcal E$,…

Non-trivial extensions of the three dimensional Poincar\'e algebra, beyond the supersymmetric one, are explicitly constructed. These algebraic structures are the natural three dimensional generalizations of fractional supersymmetry of order…

For each prime $p$, let $n(p)$ denote the least quadratic nonresidue modulo $p$. Vinogradov conjectured that $n(p) = O(p^\eps)$ for every fixed $\eps>0$. This conjecture follows from the generalised Riemann hypothesis, and is known to hold…

Let $X \subset \mathbb{C}^n$ be an algebraic variety, and let $\Lambda \subset \mathbb{C}^n$ be a discrete subgroup whose real and complex spans agree. We describe the topological closure of the image of $X$ in $\mathbb{C}^n / \Lambda$,…

We introduce a family of dimensions, which we call the $\Phi$-intermediate dimensions, that lie between the Hausdorff and box dimensions and generalise the intermediate dimensions introduced by Falconer, Fraser and Kempton. This is done by…

In this note, we prove an obstruction theorem for the existence of A infinite-structures over a commutative ring R on an algebra A associative up to homotopy, in terms of the Hochschild cohomology of the associative algebra H(A). The hidden…

Let $K$ be an imaginary quadratic field where $p$ is inert. Let $E$ be an elliptic curve defined over $K$ and suppose that $E$ has good supersingular reduction at $p$. In this paper, we prove that the plus/minus Selmer group of $E$ over the…