Related papers: Imaginaries and invariant types in existentially c…

The continuous logic of globally valued fields -- A globally valued field is a field endowed with a family of absolute values that satisfy a product formula. Number fields and function fields in one variable give classical and fundamental…

We develop the theory of higher prolongations of algebraic varieties over fields in arbitrary characteristic with commuting Hasse-Schmidt derivations. Prolongations were introduced by Buium in the context of fields of characteristic 0 with…

In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…

The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and…

Let $\widetilde{\mathcal M}=\langle \mathcal M, P\rangle$ be an expansion of an o-minimal structure $\mathcal M$ by a dense set $P\subseteq M$, such that three tameness conditions hold. We prove that the induced structure on $P$ by…

In this paper we illustrate certain criteria which are sufficient for a henselian valued field to admit non-isomorphic maximal purely wild extensions.

We introduce a notion of valued module which is suitable to study valued fields of positive characteristic. Then we built-up a robust theory of henselianity in the language of valued modules and prove Ax-Kochen Ershov type results.

In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…

We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

We define a differential graded algebra for Legendrian graphs and tangles in the standard contact Euclidean three space. This invariant is defined combinatorially by using ideas from Legendrian contact homology. The construction is…

This is the first in a sequence of papers where we show that Lagrangian fillings such as the Harvey-Lawson filling in any dimension define augmentations of Chekanov-Eliashberg differential graded algebras by counting configurations of…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides…

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 introduce \emph{residually dominated groups} in pure henselian valued fields of equicharacteristic zero, as an analogue of stably dominated groups introduced by Hrushovski and Rideau-Kikuchi. We show that when $G$ is a residually…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

We continue the study of $n$-dependent groups, fields and related structures, largely motivated by the conjecture that every $n$-dependent field is dependent. We provide evidence towards this conjecture by showing that every infinite…