相关论文: $b$-minimality

A ballean $\mathcal{B}$ (or a coarse structure) on a set $X$ is a family of subsets of $X$ called balls (or entourages of the diagonal in $X\times X$) defined in such a way that $\mathcal{B}$ can be considered as the asymptotic counterpart…

In this note we give generalizations and prove 'minimalistic' refinements of the t-birational Section Conjecture (t-BSC), cf. [Be], by doing both: First, by extending the class of base fields over which the t-BSC holds, and second, by…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

We study the two primary families of spaces of finite element differential forms with respect to a simplicial mesh in any number of space dimensions. These spaces are generalizations of the classical finite element spaces for vector fields,…

Let B be a commutative B\'ezout domain B and let MSpec(B) be the maximal spectrum of B. We obtain a Feferman-Vaught type theorem for the class of B-modules. We analyse the definable sets in terms, on one hand, of the definable sets in the…

This paper surveys Campana's theory of C-pairs (or "geometric orbifolds") in the complex-analytic setting, to serve as a reference for future work. Written with a view towards applications in hyperbolicity, rational points, and entire…

The aim of this work is to show how we can decompose a module (if decomposable) into an indecomposable module with the help of the minimization process.

Let $Z$ be a hypersurface of a manifold $M$. The $b$-tangent bundle of $(M, Z)$, whose sections are vector fields tangent to $Z$, is used to study pseudodifferential operators and stable Poisson structures on $M$. In this paper we introduce…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

A compact space $X$ is said to be minimal if there exists a map $f:X\to X$ such that the forward orbit of any point is dense in $X$. We consider rigid minimal spaces, motivated by recent results of Downarowicz, Snoha, and Tywoniuk [J. Dyn.…

We introduce and study the notion of null manifold. This is a smooth manifold ${\mathcal N}$ endowed with a degenerate metric $\gamma$ with one-dimensional radical at every point. We also define the notion of ruled null manifold, which is a…

The notion of $p$-modulus of a family of objects on a graph is a measure of the richness of such families. We develop the notion of minimal subfamilies using the method of Lagrangian duality for $p$-modulus. We show that minimal subfamilies…

We explore several model-theoretic aspects of D-sets, which were studied in detail by Adeleke and Neumann. We characterize ultrahomogeneity in the class of colored D-sets and classify unbounded order-indiscernible sequences in such…

Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered…

Let $A\sub \R^{n+r}$ be a set definable in an o-minimal expansion $\S$ of the real field, $A' \sub \R^r$ be its projection, and assume that the non-empty fibers $A_a \sub \R^n$ are compact for all $a \in A'$ and uniformly bounded, {\em…

In this paper we complete the description of the $B\mathbb{Z} /p$-cellularization of the classifying spaces of all finite groups, for all primes $p$. The techniques are based in a careful analysis of the $p$-fusion structure of the groups…

We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M, <,0,+, \ldots)$ elementarily equivalent to a locally o-minimal expansion of the group of reals $(\mathbb…

In this paper we consider the idea of I - convergence of nets of partial function from a metric space (X; d) to a metric space (Y; ?) and derive several basic characterization. This idea extends the concept of convergence of nets of partial…

We extend and deepen the theory of functional calculus for semigroup generators, based on the algebra $\mathcal B$ of analytic Besov functions, which we initiated in a previous paper. In particular, we show that our construction of the…