We prove that a Borel equivalence relation is classifiable by countable structures if and only if it is Borel reducible to a countable level of the hereditarily countable sets. We also prove the following result which was originally claimed in [FS89]: the zero density ideal of sets of natural numbers is not classifiable by countable structures. Introduction. The Borel reducibility theory of Pol...

We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., “large”) metric space cannot be decomposed into countably many nowhere dense (i.e., “small”) pieces. The Baire Category Theorem is an illuminating example of a theorem that can...

In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.

It is well known that domain representable spaces, that is topological spaces which are homeomorphic to the space of maximal elements of some domain, must be Baire. In this paper it is shown that every linearly ordered topological space (LOTS) is homeomorphic to an open dense subset of a weak domain representable space. This means that weak domain representable spaces need not be Baire. MR Clas...

In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class 1 functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class ξ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness ...

The Baire metric induces an ultrametric on a dataset and is of linear computational complexity, contrasted with the standard quadratic time agglomerative hierarchical clustering algorithm. In this work we evaluate empirically this new approach to hierarchical clustering. We compare hierarchical clustering based on the Baire metric with (i) agglomerative hierarchical clustering, in terms of algo...