Related papers: Translating between NIP integral domains and topol…

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

It is shown that every dp-minimal integral domain $R$ is a local ring and for every non-maximal prime ideal $\mathfrak p $ of $R$, the localization $R_{\mathfrak p }$ is a valuation ring and $\mathfrak{p}R_{\mathfrak{p}}=\mathfrak{p}$.…

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

The topological classification of the inner mappings on the fully invariant regular components of the wandering set with a special attracting boundary up to the topological conjugacy is defined in terms of distinguishing graph. Two inner…

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL…

We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn…

Neural network field theory formulates field theory as a statistical ensemble of fields defined by a network architecture and a density on its parameters. We extend the construction to topological settings via the inclusion of discrete…

In this paper, using the classical covering theory, we introduce a generalization of covering maps of a space $X$ with respect to a topology $\tau$ on the fundamental group of $X$. We show that the famous notions, covering, semicovering,…

In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local…

Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system - which involves a continuous self-map on a metric space. There are many notions of…

We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…

We study the set of localizations of an integral domain from a topological point of view, showing that it is always a spectral space and characterizing when it is a proconstructible subspace of the space of all overrings. We then study the…

We study Keisler measures in strongly n-distal NIP theories, generalizing some results of Simon and Chernikov-Starchenko for distal theories and addressing some questions of Walker. In particular, we establish a hypergraph version of the…

A $d$-dimensional invertible topological field theory is a functor from the symmetric monoidal $(\infty,n)$-category of $d$-bordisms (embedded into $\mathbb{R}^\infty$ and equipped with a tangential $(X,\xi)$-structure) which lands in the…

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 give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure…

Let $F$ be a field. For each nonempty subset $X$ of the Zariski-Riemann space of valuation rings of $F$, let ${A}(X) = \bigcap_{V \in X}V$ and ${J}(X) = \bigcap_{V \in X}{\mathfrak M}_V$, where ${\mathfrak M}_V$ denotes the maximal ideal of…