相关论文: There is no categorical metric continuum

In this article, we define a new non-archimedean metric structure, called cophenetic metric, on persistent homology classes of all degrees. We then show that zeroth persistent homology together with the cophenetic metric and hierarchical…

Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…

Based on entropy and symmetrical uncertainty (SU), we define a metric for categorical random variables and show that this metric can be promoted into an appropriate quotient space of categorical random variables. Moreover, we also show that…

The space of chains on a compact connected space encodes all the different ways of continuously growing out of a point until exhausting the space. A chain is \emph{generic} if its orbit under the action of the underlying homeomorphism group…

We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalb\'an for countable…

Let B^3 be the closed unit ball in R^3 and S^2 its boundary. We define a family of pseudo metrics on B^3. As an application, We prove that for any countable-to-one function f:S^2\to [0,a], the set NM^n_f={x\in S^2 | there exists y\in S^2…

We show that if a discrete quantum gravity is not classical, then it cannot be generated by an isometric dynamics. In particular, we show that if the quantum measure {\mu} (or equivalently the decoherence functional) is generated by an…

We prove an analogue of Morley's categoricity theorem where cardinality is replaced by the recursion-theoretic notion of arithmetic degree. We say that a complete arithmetically definable theory $T$ is $D$-categorical if any two…

We show that the endpoint set of a Suslinian chainable continuum must be zero-dimensional at some point. In particular, it cannot be homeomorphic to complete Erd\H{o}s space. This answers a question of Jerzy Krzempek.

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

We define coarse proximity structures, which are an analog of small-scale proximity spaces in the large-scale context. We show that metric spaces induce coarse proximity structures, and we construct a natural small-scale proximity…

In the paper an answer to a problem "When different orders of R(X) (where R is a real closed field) lead to the same real place ?" is given. We use this result to show that the space of $\mathbb R$-places of the field $\textbf{R}(Y)$ (where…

We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model…

In the paper \cite{yau1974convex}, Yau proved that: There is no non-trivial continuous concave function on a complete manifold with finite volume. We prove analogue theorems for several metric spaces, including Alexandrov spaces with…

Every metric symplectic Lie algebra has the structure of a quadratic extension. We give a standard model and describe the equivalence classes on the level of corresponding quadratic cohomology sets. Finally, we give a scheme to classify the…

An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke, tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assume compact closure. Adjoint arrows, tensor…

Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a countable base and is not countable, then T has cardinality at least continuum.

We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a…

We prove that the homeomorphisms of a compact manifold with dimension one have zero topological emergence, whereas in dimension greater than one the topological emergence of a C^0-generic conservative homeomorphism is maximal, equal to the…

Given a metric continuum $X$, a nonempty proper closed subspace $B$ of $X$, does not block a point $p\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $p$ and contained in $X\setminus B$ is a dense subset of…