Related papers: Cantor-Bendixson type ranks on Polish spaces
Pierce identified 3 invariants of a compact metrisable Boolean space, derived from its Cantor-Bendixson sequence, that determine the space up to homeomorphism. For locally compact spaces we define an additional invariant, the compact rank,…
In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal…
We study the classification of spaces of continuous functions $C(K)$ under positive linear maps. For infinite countable compacta, we show that whenever $C(K)$ and $C(L)$ are isomorphic, there exists an isomorphism $T:C(K)\to C(L)$…
Given any compact, Hausdorff space $K$ and $1<p<\infty$, we compute the Szlenk and $w^*$-dentability indices of the spaces $C(K)$ and $L_p(C(K))$. We show that if $K$ is compact, Hausdorff, scattered, $CB(K)$ is the Cantor-Bendixson index…
A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…
We develop the general theory of \emph{topometric spaces}, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric function. Spaces of global and local types in continuous logic are the motivating examples for the…
We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…
We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees). We…
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
For actions of a sofic group on probability spaces, the entropy has been defined by Bowen, with an extension by Kerr-Li. In particular, when the action is by homeomorphisms of a compact space preserving a given measure, Kerr-Li show one can…
We introduce a notion of residual derivative for elements of a preordered set, a construction that generalizes both the Frattini subgroup in algebra and the Cantor-Bendixson derivative in T1 topological spaces. For dual algebraic coframes…
We carry out the Cantor-Bendixson analysis of the space of all subgroups of any countable abelian group and we deduce a complete classification of such spaces up to homeomorphism.
We prove that the partition rank and the analytic rank of tensors are equal up to a constant, over finite fields of any characteristic and any large enough cardinality depending on the analytic rank. Moreover, we show that a plausible…
We show that for each computable ordinal $\alpha>0$ it is possible to find in each Martin-L\"of random $\Delta^0_2$ degree a sequence $R$ of Cantor-Bendixson rank $\alpha$, while ensuring that the sequences that inductively witness $R$'s…
We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact…
A subset of a Polish space $X$ is called universally small if it belongs to each ccc $\sigma$-ideal with Borel base on $X$. Under CH in each uncountable Abelian Polish group $G$ we construct a universally small subset $A_0\subset G$ such…
We observe that a Polish group $G$ is amenable if and only if every continuous action of $G$ on the Hilbert cube admits an invariant probability measure. This generalizes a result of Bogatyi and Fedorchuk. We also show that actions on the…
We show that, for a coanalytic subspace $X$ of $2^\omega$, the countable dense homogeneity of $X^\omega$ is equivalent to $X$ being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of…
Suppose $X$ is a locally compact Polish space, and $G$ is a group of lattice isometries of $C_0(X)$ which satisfies certain conditions. Then we can equip $C_0(X)$ with an equivalent lattice norm $| \! | \! | \cdot | \! | \! |$ so that $G$…
Given a class C of subgroups of a topological group G, we say that a subgroup H in C is a universal C subgroup of G if every subgroup K in C is a continuous homomorphic preimage of H. Such subgroups may be regarded as complete members of C…