Related papers: Real closed exponential fields

A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic…

Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…

We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…

Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.

We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of…

Let R be a commutative Noetherian local ring with residue field k. Let X be a resolving subcategory of finitely generated R-modules. This paper mainly studies when X contains k or consists of totally reflexive modules. It is proved that X…

We show that every conformal vector field on a Damek-Ricci space is necessarily Killing, establishing a strong form of infinitesimal conformal rigidity. Although this rigidity phenomenon is classically known in the Einstein setting, our…

In this paper we provide a complete approach to the real numbers via decimal representations. Construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers, and the algebraic characterization of the real number…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.

There are many ways to construct the field R of real numbers. The most important and famous of these employ Cauchy sequences (Cantor) or cuts (Dedekind) in the field Q of rational numbers. These constructions sometimes overlook important…

We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…

Inspired by previous work of Shoup, Lenstra-De Smit and Couveignes-Lercier, we give fast algorithms to compute in (the first levels of) the ell-adic closure of a finite field. In many cases, our algorithms have quasi-linear complexity.

We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

A numerical scheme is presented to solve the one source near field refractor problem to arbitrary precision and it is proved that the scheme terminates in a finite number of iterations. The convergence of the algorithm depends upon proving…

In this work, we fully explore three refined convergence structures of the lowest-order rectangular Raviart-Thomas element in solving the Laplace eigenvalue problem. Firstly, the scheme possesses a property of supercloseness between the…

Let $K$ be an imaginary quadratic field and $\mathcal{O}_K$ be its ring of integers. Let $h_E$ be the Weber function on certain elliptic curve $E$ with complex multiplication by $\mathcal{O}_K$. We show that if $N$ ($>1$) is an integer…

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…