Related papers: Imaginaries and invariant types in existentially c…
We study the extraordinary dimension function dim_{L} introduced by \v{S}\v{c}epin. An axiomatic characterization of this dimension function is obtained. We also introduce inductive dimensions ind_{L} and Ind_{L} and prove that for…
The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on…
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then…
In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaqui\'e chain for the valuation on $K[x]$…
Minimal pairs of definition were introduced by Alexandru, Popescu and Zaharescu to study residue transcendental extensions. In this paper we obtain analogous results in the value transcendental case. We introduce the notion of minimal…
In this paper, we show that an attempt to construct shape invariant extensions of a known shape invariant potential leads to, apart from a shift by a constant, the well known technique of isospectral shift deformation. Using this, we…
We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.
We construct, for every prime p, a function field K of characteristic p and an ordinary abelian variety A over K, with no isotrivial factors, that admits an etale self-isogeny of p-power degree. As a consequence, we deduce that there exist…
We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…
We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…
A systematic exposition is given of the theory of invariant differential operators on a not necessarily reductive homogeneous space. This exposition is modelled on Helgason's treatment of the general reductive case and the special…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
We construct a theory of fields living on continuous geometries with fractional Hausdorff and spectral dimensions, focussing on a flat background analogous to Minkowski spacetime. After reviewing the properties of fractional spaces with…
We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines…
We introduce bi-galileon theory, the generalisation of the single galileon model introduced by Nicolis et al. The theory contains two coupled scalar fields and is described by a Lagrangian that is invariant under Galilean shifts in those…
We prove a differential analog of a theorem of Chevalley on extending homomorphisms for rings with commuting derivations, generalizing a theorem of Kac. As a corollary, we establish that, under suitable hypotheses, the image of a…
Open-closed Deligne--Mumford field theories are chain-level field theories based on moduli spaces of stable curves with boundary. We associate to a relatively spin embedded Lagrangian $L \subset (X,\omega)$ such an open-closed DMFT. It…
We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…
Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…