Related papers: Imaginaries in equicharacteristic zero henselian f…

For a given odd integer $n>1$, we provide some families of imaginary quadratic number fields of the form $\mathbb{Q}(\sqrt{x^2-t^n})$ whose ideal class group has a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$.

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 produce an infinite family of imaginary quadratic fields whose ideal class groups have $3$-rank at least $2$.

We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of…

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure…

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…

We investigate the property of elimination of imaginaries for some special cases of ordered abelian groups. We show that certain Hahn products of ordered abelian groups do not eliminate imaginaries in the pure language of ordered groups.…

We show that types over real algebraically closed sets are stationary, both for the theory of separably closed fields of infinite degree of imperfection and for the theory of beautiful pairs of algebraically closed field. The proof is given…

In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable…

We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions…

We prove that for any given positive integer $\ell$ there are infinitely many imaginary quadratic fields with 2-class group of type $(2,2^\ell)$, and provide a lower bound for the number of such groups with bounded discriminant for…

We obtain upper bounds for the torsion in the $K$-groups of the ring of integers of imaginary quadratic number fields, in terms of their discriminants.

We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…

The imaginary-time formulation is investigated in the field theory. The Dirac and photon's Lagrangians are treated in the imaginary-time and space and are invariant under scale transformations, which are motivated by the Tolman-Ehrenfest…

We are interested in classical and logarithmic imaginary classes of abelian number fields in connection with Iwasawa theory. For any given odd prime ${\ell}$ and any imaginary abelian number field K, we compute the isotypic components of…

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 quantify a recent theorem of Wiles on class numbers of imaginary quadratic fields by proving an estimate for the number of negative fundamental discriminants down to -X whose class numbers are indivisible by a given prime and whose…

We study the behaviour of forking in valued fields, and we give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an extension base. Notably, we consider arbitrary (potentially…

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…