Related papers: Residue field domination in real closed valued fie…
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
We continue the effort of grokking the structure of power-bounded $T$-convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on certain expansion of it that is equipped with a tempered…
We prove that bounded conciseness is a closed property in the space of marked groups. As a consequence, we reformulate a conjecture of Fern\'andez-Alcober and Shumyatsky [7] about conciseness in the class of residually finite groups.
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories.…
Convex body domination is a technique, where operators acting on vector-valued functions are estimated via certain convex body averages of the input functions. This domination lets one deduce various matrix weighted bounds for these…
We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we…
Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its type setting counterpart. We prove that…
We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…
The Ruled Residue Theorem asserts that given a ruled extension $(K|k,v)$ of valued fields, the residue field extension is also ruled. In this paper we analyse the failure of this theorem when we set $K$ to be algebraic function fields of…
We show the finiteness of perfect powers in orbits of polynomial dynamical systems over an algebraic number field. We also obtain similar results for perfect powers represented by ratios of consecutive elements in orbits. Assuming the…
We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…
This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…
Let $p\in\mathbb Z$ be a prime, $\overline{\mathbb Q_p}$ a fixed algebraic closure of the field of $p$-adic numbers and $\overline{\mathbb Z_p}$ the absolute integral closure of the ring of $p$-adic integers. Given a residually algebraic…
In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…
Given a field with a set of discrete valuations $V$, we show how the genus of a division algebra over the field is related to the genus of the residue algebras at various valuations in $V$ and the ramification data. When the division…
We introduce tangent cones of subsets of cartesian powers of a real closed field, generalising the notion of the classical tangent cones of subsets of Euclidean space. We then study the impact of non-archimedean stratifications…
We consider a finite state, finite action, zero-sum stochastic games with data defining the game lying in the ordered field of algebraic numbers. In both the discounted and the limiting average versions of these games we prove that the…
We provide convex body domination results for the generalized vector-valued commutator of those operators that admit specific forms of convex body domination themselves. We also prove some strong type estimates and other consequences of…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…