Related papers: On Strongly NIP Ordered Fields and Definable Conve…
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…
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…
We give an explicit classification of translation-invariant, Lorentz-invariant continuous valuations on convex sets. We also classify the Lorentz-invariant even generalized valuations.
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…
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…
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…
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.…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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.
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…