Related papers: Ordered henselian valued fields: definability and …

It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed…

Bayesian networks (BNs) are graphical \emph{first-order} probabilistic models that allow for a compact representation of large probability distributions, and for efficient inference, both exact and approximate. We introduce a…

For first-order expansions of the field of real numbers, nondefinability of the set of natural numbers is equivalent to equality of topological and Assouad dimension on images of closed definable sets under definable continuous maps.

We show that asymptotic (valued differential) fields have unique maximal immediate extensions. Connecting this to differential-henselianity, we prove that any differential-henselian asymptotic field is differential-algebraically maximal,…

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 the preorder $\le_p$ on the family of subsets of an algebraically closed field of characteristic $0$ defined by letting $A\le_pB $ if there exists a polynomial $P$ such that $A=P^{-1}(B)$.

Defining the $m$-th stratum of a closed subset of an $n$ dimensional Euclidean space to consist of those points, where it can be touched by a ball from at least $n-m$ linearly independent directions, we establish that the $m$-th stratum is…

We consider the model theoretic notion of convex orderability, which fits strictly between the notions of VC-minimality and dp-minimality. In some classes of algebraic theories, however, we show that convex orderability and VC-minimality…

Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] initiated the field of query order, which studies the ways in which computational power is affected by the order in which information sources are accessed. The present paper studies, for…

$Vect(N)$, the algebra of vector fields in $N$ dimensions, is studied. Some aspects of local differential geometry are formulated as $Vect(N)$ representation theory. There is a new class of modules, {\it conformal fields}, whose…

Given asymptotic counts in number theory, a question of Venkatesh asks what is the topological nature of lower order terms. We consider the arithmetic aspect of the inertia stack of an algebraic stack over finite fields to partially answer…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

We prove a quantitative version of Hilbert's irreducibility theorem for function fields: If $f(T_1,\ldots, T_n,X)$ is an irreducible polynomial over the field of rational functions over a finite field $\mathbb{F}_q$ of characteristic $p$,…

We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…

As a contribution to interpretable machine learning research, we develop a novel optimization framework for learning accurate and sparse two-level Boolean rules. We consider rules in both conjunctive normal form (AND-of-ORs) and disjunctive…

In this paper, we study properties of nodal orders defined over arbitrary base fields. In particular we give a classification of complete real nodal orders.

We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified…

We show that it is decidable whether a given a regular tree language belongs to the class ${\bf \Delta^0_2}$ of the Borel hierarchy, or equivalently whether the Wadge degree of a regular tree language is countable.

We generalize reduction theorems for classical connections to operators with values in $k$-th order natural bundles. Using the first reduction theorem in order two we classify all (0,2)-tensor fields on the cotangent bundle of a manifold…

We study the extension of valuations centered in a local domain to its henseliza-tion. We prove that a valuation $\nu$ centered in a local domain R uniquely determines a minimal prime H($\nu$) of the henselization R h of R and an extension…