Related papers: Computable Stone spaces
The famous Rosenthal-Lacey theorem asserts that for each infinite compact set $K$ the Banach space $C(K)$ admits a quotient which is either a copy of $c$ or $\ell_{2}$. What is the case when the uniform topology of $C(K)$ is replaced by the…
We say that a metrizable space $M$ is a Krasinkiewicz space if any map from a metrizable compactum $X$ into $M$ can be approximated by Krasinkiewicz maps (a map $g\colon X\to M$ is Krasinkiewicz provided every continuum in $X$ is either…
We are studying the degrees in which a computable structure is relatively computably categoricity, i.e., computably categorcial among all non-computable copies of the structure. Unlike the degrees of computable categoricity we can bound the…
Given a locally compact Polish space X, a necessary and sufficient condition for a group G of homeomorphisms of X to be the full isometry group of (X,d) for some proper metric d on X is given. It is shown that every locally compact Polish…
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: - Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for…
Motivated by the local theory of Banach spaces we introduce a notion of finite representability for metric spaces. This allows us to develop a new technique for comparing the generalized roundness of metric spaces. We illustrate this…
We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size continuum. This improves a result of Argyros from the 80ties which asserted the existence of an uncountable independent…
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…
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 a recent paper \cite{T} the fact that a class of locally compact metric spaces $X$, among which are Euclidean spaces, are not homemorphic to their punctured version $X\men\{p\}$, was given an interesting new proof which does not use…
A compact space is said to be weakly Radon-Nikod\'{y}m (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show…
We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and…
In this paper the weak topology on a normed space is studied from the viewpoint of infinite-dimensional topology. Besides the weak topology on a normed space $X$ (coinciding with the topology of uniform convergence on finite subsets of the…
M. Talagrand showed that, for the Cech-Stone compactification \beta\omega\ of the space of natural numbers, the norm and the weak topology generate different Borel structures in the Banach space C(\beta\omega). We prove that the Borel…
A preordered topological space is a topological space with a preordering. We exhibit a Stone-like duality for preordered topological spaces, Inspired by a similar duality for bitopological spaces, due to Jung-Moshier and Jakl, and by a…
We show in detail that every compact countable subset of a metric space is homeomorphic to a countable ordinal number, which extends a result given by Mazurkiewicz and Sierpinski for finite-dimensional Euclidean spaces. In order to achieve…
All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…
For a separable locally compact but not compact metrizable space $X$, let $\alpha X = X \cup \{x_\infty\}$ be the one-point compactification with the point at infinity $x_\infty$. We denote by $EM(X)$ the space consisting of admissible…
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…
We show that if there exists a Lipschitz homeomorphism $T$ between the nets in the Banach spaces $C(X)$ and $C(Y)$ of continuous real valued functions on compact spaces $X$ and $Y$, then the spaces $X$ and $Y$ are homeomorphic provided…