Related papers: Cantor-Bendixson type ranks on Polish spaces
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…
We study strong compactly aligned product systems of $\mathbb{Z}_+^N$ over a C*-algebra $A$. We provide a description of their Cuntz-Nica-Pimsner algebra in terms of tractable relations coming from ideals of $A$. This approach encompasses…
If $X$ is a topological space and $\kappa$ is a cardinal then $\mathsf{BA}_\kappa (X)$ is the statement that for each pair $A, B \subseteq X$ of $\kappa$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In…
We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish…
A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular)…
An old question of A.V. Arhangel'skii asks if the Menger property of a Tychonoff space $X$ is preserved by homeomorphisms of its function space $C_p(X)$. We provide affirmative answer in the case of linear homeomorphisms. To this end, we…
We give a complete classification of mixed Tsirelson spaces T[(F\_i, theta\_i)\_{i=1}^r ] for finitely many pairs of given compact and hereditary families F\_i of finite sets of integers and 0<theta\_i<1 in terms of the Cantor-Bendixson…
We investigate some properties of the clopen type semigroup of an action of a countable group on a compact, $0$-dimensional, Hausdorff space X. We discuss some characterizations of dynamical comparison (most of which were already known in…
We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…
For an index set $\Gamma$ and a cardinal number $\kappa$ the $\Sigma_{\kappa}$-product of real lines $\Sigma_{\kappa}(\mathbb{R}^{\Gamma})$ consist of all elements of $\mathbb{R}^{\Gamma}$ with $<\kappa$ nonzero coordinates. A compact space…
A space X is called an alpha-Toronto space if X is scattered of Cantor-Bendixson rank alpha and is homeomorphic to each of its subspaces of same rank. We answer a question of Steprans by constructing a countable alpha-Toronto space for each…
We survey, and extend, results on the adjoint action of the homeomorphism group $H(X)$ on the space of surjective continuous maps, $C_s(X)$, where $X$ is a Cantor set. We look also at the restriction of the action to various dynamically…
Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…
We show that for every finite-rank median algebra $X$, the rank of $X$ coincides with the independence number of the family of all median-preserving maps $X \to [0,1]$. In the compact topological case, the same equality holds for the family…
Let $f$ and $g$ be scalar-valued, continuous functions on some topological space. We say that $g$ dominates $f$ in the compatibility ordering if $g$ coincides with $f$ on the support of $f$. We prove that two compact Hausdorff spaces are…
In the present paper we investigate the class of compact trees, endowed with the coarse wedge topology, in the area of non-separable Banach spaces. We describe Valdivia compact trees in terms of inner structures and we characterize the…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
An important conjecture in additive combinatorics, number theory, and algebraic geometry posits that the partition rank and analytic rank of tensors are equal up to a constant, over any finite field. We prove the conjecture up to a…
If $\mathcal{N}$ is a proper Polish metric space and $\mathcal{M}$ is any countable dense submetric space of $\mathcal{N}$, then the Scott rank of $\mathcal{N}$ in the natural first order language of metric spaces is countable and in fact…