English
Related papers

Related papers: On Strongly NIP Ordered Fields and Definable Conve…

200 papers

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Logic · Mathematics 2012-02-14 Artem Chernikov , Pierre Simon

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues…

Metric Geometry · Mathematics 2025-09-24 James Maxwell , Ben Smith

We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.

Differential Geometry · Mathematics 2013-03-28 Semyon Alesker , Dmitry Faifman

We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the…

Logic · Mathematics 2020-07-16 Pablo Cubides Kovacsics , Françoise Delon

We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…

Logic · Mathematics 2017-05-17 Quentin Brouette , Françoise Point

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

Algebraic Geometry · Mathematics 2017-02-28 Krzysztof Jan Nowak

The target of the present work is to give a new insight in the theory of {\it strongly weakly nil-clean} rings, recently defined by Kosan and Zhou in the Front. Math. China (2016) and further explored in detail by Chen-Sheibani in the J.…

Rings and Algebras · Mathematics 2025-03-28 Peter Danchev , Mina Doostalizadeh , Omid Hasanzadeh , Arash Javan , Ahmad Moussavi

We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each…

Number Theory · Mathematics 2025-03-13 Samuele Anni , Gaetan Bisson , Annamaria Iezzi , Elisa Lorenzo García , Benjamin Wesolowski

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

Number Theory · Mathematics 2019-08-20 Lhoussain El Fadil , Mhammed Boulagouaz , Abdulaziz Deajim

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…

Differential Geometry · Mathematics 2013-07-02 Yuliy Baryshnikov , Robert Ghrist , Matthew Wright

We previously obtained a generalization and refinement of results about the ramification theory of Artin-Schreier extensions of discretely valued fields in characteristic $p$ with perfect residue fields to the case of fields with more…

Number Theory · Mathematics 2017-07-07 Vaidehee Thatte

We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$-spherical orders are countably categorical and…

Logic · Mathematics 2022-08-11 Beibut Sh. Kulpeshov , Sergey V. Sudoplatov

Let $(K,v)$ be a valued field and let $(K^h,v^h)$ be the henselization determined by the choice of an extension of $v$ to an algebraic closure of $K$. Consider an embedding $v(K^*)\hookrightarrow\Lambda$ of the value group into a divisible…

Algebraic Geometry · Mathematics 2022-08-31 Enric Nart

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…

Commutative Algebra · Mathematics 2023-01-12 Franz-Viktor Kuhlmann , Anna Rzepka

For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…

Number Theory · Mathematics 2018-10-12 Hairong Yi , Chang Lv

There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…

Logic · Mathematics 2018-11-08 Salma Kuhlmann , Mickael Matusinski , Francoise Point

Let V be a rank one discrete valuation ring (DVR) on a field F and let L/F be a finite separable algebraic field extension with [L:F] = m. The integral closure of V in L is a Dedekind domain that encodes the following invariants: (i) the…

Commutative Algebra · Mathematics 2008-09-29 William J. Heinzer , Louis J. Ratliff , David E. Rush

By representing words with probability densities rather than point vectors, probabilistic word embeddings can capture rich and interpretable semantic information and uncertainty. The uncertainty information can be particularly meaningful in…

Computation and Language · Computer Science 2018-04-30 Ben Athiwaratkun , Andrew Gordon Wilson

We study Poisson valuations and provide their applications in solving problems related to rigidity, automorphisms, Dixmier property, isomorphisms, and embeddings of Poisson algebras and fields.

Rings and Algebras · Mathematics 2023-09-12 Hongdi Huang , Xin Tang , Xingting Wang , James J. Zhang

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

Logic · Mathematics 2018-10-31 Luck Darnière , Marcus Tressl