English
Related papers

Related papers: Residue field domination in real closed valued fie…

200 papers

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…

Logic · Mathematics 2013-05-08 Itaï Ben Yaacov

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…

Logic · Mathematics 2020-12-21 Yimu Yin

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.

Group Theory · Mathematics 2025-02-10 Federico Berlai

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…

Logic in Computer Science · Computer Science 2023-12-19 María Inés de Frutos-Fernández , Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio

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.…

Logic · Mathematics 2013-07-31 Vincent Guingona

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…

Classical Analysis and ODEs · Mathematics 2024-11-05 Aapo Laukkarinen

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…

Functional Analysis · Mathematics 2017-11-21 Daniel Lenz , Marcel Schmidt , Melchior Wirth

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…

Logic · Mathematics 2024-10-24 Kyle Gannon , Jinhe Ye

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…

Logic · Mathematics 2025-06-10 Yuval Dor , Ehud Hrushovski

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…

Algebraic Geometry · Mathematics 2023-05-31 Arpan Dutta

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…

Number Theory · Mathematics 2021-09-24 Alina Ostafe , Lukas Pottmeyer , Igor E. Shparlinski

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…

Logic · Mathematics 2018-12-11 Yimu Yin

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…

Commutative Algebra · Mathematics 2012-11-05 F. J. Herrera-Govantes , M. A. Olalla Acosta , J. L. Vicente-Cordoba

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…

Number Theory · Mathematics 2025-09-10 Giulio Peruginelli

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…

Rings and Algebras · Mathematics 2016-04-26 Pawel Gladki , Bill Jacob

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…

Number Theory · Mathematics 2024-09-24 S. Srimathy

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…

Logic · Mathematics 2015-09-11 Erick García Ramírez

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…

Optimization and Control · Mathematics 2017-12-18 K. Avrachenkov , V. Ejov , J. A. Filar , A. Moghaddam

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…

Functional Analysis · Mathematics 2026-04-14 Joshua Isralowitz , Israel P. Rivera-Ríos , Francisco Sáez-Rivas

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…

Algebraic Geometry · Mathematics 2025-09-03 Andreas Blatter , Jan Draisma , Filip Rupniewski