Related papers: Some theorems on colocally connected continua

An important dynamical property of biological interaction networks is persistence, which intuitively means that "no species goes extinct". It has been conjectured that dynamical system models of weakly reversible networks (i.e., networks…

An ultrafilter $\mathcal{U}$ on a countable base {\em has continuous Tukey reductions} if whenever an ultrafilter $\mathcal{V}$ is Tukey reducible to $\mathcal{U}$, then every monotone cofinal map $f:\mathcal{U}\ra\mathcal{V}$ is continuous…

A topological invariant of the geodesic laminations on a modular surface is constructed. The invariant has a continuous part (the tail of a continued fraction) and a combinatorial part (the singularity data). It is shown, that the invariant…

Liouville's theorem says that in dimension greater than two, all conformal maps are M\"obius transformations. We prove an analogous statement about simplicial complexes, where two simplicial complexes are considered discretely conformally…

We study the relationship between several notions of connectedness arising in ${\mathbb A}^1$-homotopy theory of smooth schemes over a field $k$: ${\mathbb A}^1$-connectedness, stable ${\mathbb A}^1$-connectedness and motivic connectedness,…

We prove that the ribbon graph polynomial of a graph embedded in an orientable surface is irreducible if and only if the embedded graph is neither the disjoint union nor the join of embedded graphs. This result is analogous to the fact that…

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…

We generalize the phenomenon of continuation from complex anal- ysis to locally operator monotone functions. Along the lines of the egde-of- the-wedge theorem, we prove continuations exist dependent only on geometric features of the domain…

We propose the concepts of vicinal mappings and firmly vicinal mappings in metric spaces. We obtain fixed point and convergence theorems for these mappings in complete geodesic spaces with curvature bounded above by one and apply our…

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…

A criterion is established for the transitivity of connectedness in a transfinite graph. Its proof is much shorter than a prior argument published previously for that criterion.

In this paper we present local Sternberg conjugation theorems near attracting fixed points for lattice systems. The interactions are spatially decaying and are not restricted to finite distance. The conjugations obtained retain the same…

In this note we give a simple unifying proof of the undecidability of several diagrammatic properties of term rewriting systems that include: local confluence, strong confluence, diamond property, subcommutative property, and the existence…

We extend the notion of connection in order to be able to study singular geometric structures, namely, we consider a notion of connection on a Lie algebroid which is a natural extension of the usual concept of connection. Using connections,…

This is an expository note explaining how the geometric notions of local connectedness and properness are related to the $\Sigma$-type and $\Pi$-type constructors of dependent type theory.

This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces…

We investigate properties of holomorphic extensions in the one-variable case of Whitney's Approximation Theorem on intervals. Improving a result of Gauthier-Kienzle, we construct tangentially approximating functions which extend…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…

We use convex decomposition theory to (1) reprove the existence of a universally tight contact structure on every irreducible 3-manifold with nonempty boundary, and (2) prove that every toroidal 3-manifold carries infinitely many…