Related papers: Positive model theory and infinitary logic
We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological…
The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…
We construct two algebraic versions of homotopy theory of rational disconnected topological spaces, one based on differential graded commutative associative algebras and the other one on complete differential graded Lie algebras. As an…
In the present paper, we study a new kind of anabelian phenomenon concerning the smooth pointed stable curves in positive characteristic. It shows that the topological structures of moduli spaces of curves can be understood from the…
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is…
We define a diffeology on the Milnor classifying space of a diffeological group $G$, constructed in a similar fashion to the topological version using an infinite join. Besides obtaining the expected classification theorem for smooth…
We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…
In this paper, I shall demonstrate that sufficiently high-dimensional closed positively-curved Riemannian manifolds are either diffeomorphic to a spherical space form, or isometric to a locally compact rank one symmetric space. This…
Recall that a topological space is said to be a $k_\omega$-space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space $X$ has an open neighbourhood which is a…
We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For $m>0$, let $\mathrm{L}_m$ be the logic defined by axiom $\lozenge^{m+1} p\to \lozenge p\vee p$. We construct filtrations for…
We obtain a topological interpretation for the space of $L^2$ harmonic forms for some complete Riemannian manifold : when the geometry at infinity is the geometry of a simply connected nilpotent Lie group, when the geometry at infinity is a…
We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated…
This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null…
In this paper we consider an infinitesimal Hecke algebra of $sl_2$ in positive characteristic. We show that it is a finitely generated module over its center, and the smooth and the Azumaya loci of its center coincide.
We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with…
In this work we show two results about approximating, with respect to the compact-open topology, mapping classes on surfaces of infinite-type by quasi-conformal maps, in particular we are interested in density results. The first result is…
We study the structure of the maximal ideal space $M(H^{\infty})$ of the algebra $H^{\infty}=H^{\infty}(\Di)$ of bounded analytic functions defined on the open unit disk $\Di\subset\Co$. Based on the fact that $dim\ M(H^{\infty})=2$ we…
In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…
In this paper, we study the coupled Einstein constraint equations on complete manifolds through the conformal method, focusing on non-compact manifolds with flexible asymptotics. This is physically well-motivated by standard cosmological…
We introduce the notion of topological hyperbolicity to characterize the largeness of the topological fundamental group of a complex variety. Inspired by the Shafarevich conjecture, we propose to study the topological hyperbolicity of…