Related papers: Model completeness of o-minimal fields with convex…

We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small,"…

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic…

A structure M is pregeometric if the algebraic closure is a pregeometry in all M' elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power…

Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…

Under mild hypotheses, we prove that if F is a totally real field, k is the algebraic closure of the finite field with l elements and r : G_F --> GL_2(k) is irreducible and modular, then there is a finite solvable totally real extension…

We define and study a notion of minimal exponent for a locally complete intersection subscheme $Z$ of a smooth complex algebraic variety $X$, extending the invariant defined by Saito in the case of hypersurfaces. Our definition is in terms…

In this paper we prove that for any definable subset $X\subset \mathbb{R}^{n}$ in a polynomially bounded o-minimal structure, with $dim(X)<n$, there is a finite set of regular projections (in the sense of Mostowski ). We give also a weak…

Suppose $F$ is a field with valuation $v$ and valuation domain $O_{v}$, and $R$ is an $O_{v}-$algebra. We prove that $R$ satisfies SGB (strong going between) over $O_{v}$. We give a necessary and sufficient condition for $R$ to satisfy LO…

In applications that use knowledge representation (KR) techniques, in particular those that combine data-driven and logic methods, the domain of objects is not an abstract unstructured domain, but it exhibits a dedicated, deep structure of…

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields…

We develop a completion theory for (general) non-Archimedean spaces based on the theory on "a categorical concept of completion of objects" as introduced by G.C.L. Br\"ummer and E. Giuli. Our context is the construct $\mathbf{NA}_0$ of all…

We extend the theory of complex cells introduced by Binyamini and Novikov to the sharply o-minimal setting, obtaining cellular preparation and parameterization theorems which are polynomially effective in the degrees of the relevant sets.…

In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…

Let k be an algebraically closed uncountable field of characteristic zero. Let R be a complete local hypersurface over k. Denote by CM(R) the category of maximal Cohen-Macaulay R-modules and by D^{sg}(R) the singularity category of R.…

We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension…

We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper,…