Related papers: Imaginaries in bounded pseudo real closed fields

Several researchers have recently established that for every Turing degree $\boldsymbol{c}$, the real closed field of all $\boldsymbol{c}$-computable real numbers has spectrum $\{\boldsymbol{d}~:~\boldsymbol{d}'\geq\boldsymbol{c}"\}$. We…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

Let $T$ be the theory of an o-minimal field and $T_0$ a common reduct of $T$ and $T_{an}$. I adapt Mourgues' and Ressayre's constructions to deduce structure results for $T_0$-reducts of $T$-$\lambda$-spherical completion of models of…

In this paper, we investigate abstract homomorphism from the special linear group over complete discrete valuation rings with finite residue field, such as the ring of p-adic integers, into the general linear group over the reals. We find…

We give a simplified proof of elimination of imaginaries (in the geometric sorts) in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and…

We propose and study a generalized continued fraction algorithm that can be executed in an arbitrary imaginary quadratic field, the novelty being a non-restriction to the five Euclidean cases. Many hallmark properties of classical continued…

Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and…

We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…

We argue that the imaginary parts of the anomalous dimensions in the multiparticle sectors of heavy quark effective field theory may be removed by a suitable redefinition of the multiparticle states. The connection between the imaginary…

It is well known that there is no basis of the field for real numbers regarded as a vector space over any proper subfield that is closed under multiplication. Mabry has extended this result to bases of arbitrary proper field extensions. The…

We study the two-matrix model which represents the sum over closed and open random surfaces coupled to an Ising Model. The boundary conditions are characterized by the fact that the Ising spins sitting at the vertices of the boundaries are…

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Thimble regularisation is a possible solution to the sign problem, which is evaded by formulating quantum field theories on manifolds where the imaginary part of the action stays constant (Lefschetz thimbles). A major obstacle is due to the…

We show that a pseudorepresentation $\textbf{D}\colon A[G] \to A$ of a (finite) group $G$ need not arise from a genuine representation, even if one is allowed to extend the ring $A$. This shows that a theorem of the "embedding problem" for…

We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…

In string theory various projections have to be imposed to ensure supersymmetry. We study the consequences of these projections in the presence of world sheet boundaries. A-type boundary conditions come in several classes; only boundary…

We study spaces $M(R(y))$ of $\R$-places of rational function fields $R(y)$ in one variable. For extensions $F|R$ of formally real fields, with $R$ real closed and satisfying a natural condition, we find embeddings of $M(R(y))$ in $M(F(y))$…

For a prime p, we study the Galois groups of maximal pro-$p$ extensions of imaginary quadratic fields unramified outside a finite set $S$, where $S$ consists of one or two finite places not lying above $p$. When $p$ is odd, we give explicit…