Related papers: There is no categorical metric continuum

We answer a question of Piotr Minc by proving that there is no compact metrizable space whose set of components contains a unique topological copy of every metrizable compactification of a ray (i.e. a half-open interval) with an arc (i.e.…

We define the notions of unilateral metric derivatives and ``metric derived numbers'' in analogy with Dini derivatives (also referred to as ``derived numbers'') and establish their basic properties. We also prove that the set of points…

The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…

Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this "continuous semantics" is equivalent to…

We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more…

Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that $C(X)$, for $X$ a nondegenerate continuum, can never have quantifier elimination, answering a question of the the…

We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…

We completely solve the problem whether the product of two compact metric spaces admitting minimal maps also admits a minimal map. Recently Boro\'nski, Clark and Oprocha gave a negative answer in the particular case when homeomorphisms…

We shall prove that if X, Y are compact metrizable spaces of positive dimension and h: X x Y --> X is a continuous map with zero-dimensional fibers then X contains a non-trivial continuum without one-dimensional subsets; in particular X is…

We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.

Using the classical technique of condensation of singularities, we prove that, for every zero-dimensional, complete separable metric space $G$, there exists a Suslinian, chainable metric continuum whose set of end points is homeomorphic to…

A metric continuum $X$ is indecomposable if it cannot be put as the union of two of its proper subcontinua. A subset $R$ of $X$ is said to be continuumwise connected provided that for each pair of points $p,q\in R$, there exists a…

We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one.

Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times…

Using ideas borrowed from topological dynamics and ergodic theory we introduce topological and metric versions of the recurrence property for general Markov chains. The main question of interest here is how large is the set of recurrent…

A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a…

We define shadowable points for homeomorphism on metric spaces. In the compact case we will prove the following results: The set of shadowable points is invariant, possibly nonempty or noncompact. A homeomorphism has the pseudo-orbit…