Related papers: Dependent Pairs

Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly…

The aim of this work is an analysis of distal and non-distal behavior in dense pairs of o-minimal structures. A characterization of distal types is given through orthogonality to a generic type in $M^{\operatorname{eq}}$, non-distality is…

Every discrete definable subset of a closed asymptotic couple with ordered scalar field $\boldsymbol k$ is shown to be contained in a finite-dimensional $\boldsymbol k$-linear subspace of that couple. It follows that the differential-valued…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…

Density (or state) dependent pair potentials arise naturally from coarse-graining procedures in many areas of condensed matter science. However, correctly using them to calculate physical properties of interest is subtle and cannot be…

Let $\widetilde{\mathcal M}=\langle \mathcal M, P\rangle$ be an expansion of an o-minimal structure $\mathcal M$ by a dense set $P\subseteq M$, such that three tameness conditions hold. We prove that the induced structure on $P$ by…

We show that there is a strong minimal pair in the computably enumerable Turing degrees.

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We analyse domination between invariant types in o-minimal expansions of ordered groups, showing that the domination poset decomposes as the direct product of two posets: the domination poset of an o-minimal expansion of a real closed…

Let $G$ be a multiplicative subgroup of $\mathbb{Q}_p$. In this paper, we describe the theory of the pair $(\mathbb{Q}_p, G)$ under the condition that $G$ satisfies Mann property and is small as subset of a first-order structure. First, we…

We investigate the partial orderings of the form (P(X),\subset), where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the…

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…

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group, in general very largely…

We show that the derived subgroup of a linear definable group in an o-minimal structure is also definable, extending the semialgebraic case proved by A. Pillay. We also show the definability of the derived subgroup in case that the group is…

Dependency pairs are a key concept at the core of modern automated termination provers for first-order term rewriting systems. In this paper, we introduce an extension of this technique for a large class of dependently-typed higher-order…

We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…

A space is od-compact (resp. od-Lindel\"of) provided any cover by open dense sets has a finite (resp. countable) subcover. We first show with simple examples that these properties behave quite poorly under finite or countable unions. We…

We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ of $M^n$…

We prove a tangle-tree theorem and a tangle duality theorem for abstract separation systems $\vec S$ that are submodular in the structural sense that, for every pair of oriented separations, $\vec S$ contains either their meet or their join…