English
Related papers

Related papers: Some properties related to the Cantor-Bendixson de…

200 papers

Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we…

Combinatorics · Mathematics 2007-05-23 Christian Delhomme , Claude Laflamme , Maurice Pouzet , Norbert Sauer

We investigate some basic descriptive set theory for countably based completely quasi-metrizable topological spaces, which we refer to as quasi-Polish spaces. These spaces naturally generalize much of the classical descriptive set theory of…

Logic · Mathematics 2012-11-07 Matthew de Brecht

We use countable metric spaces to code Polish metric spaces and evaluate the complexity of some statements about these codes and of some relations that can be determined by the codes. Also, we propose a coding for continuous functions…

Logic · Mathematics 2020-07-07 Diego Alejandro Mejía

For a continuous map $T$ of a compact metrizable space $X$ with finite topological entropy, the order of accumulation of entropy of $T$ is a countable ordinal that arises in the context of entropy structure and symbolic extensions. We show…

Dynamical Systems · Mathematics 2009-11-23 David Burguet , Kevin McGoff

The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles…

Logic · Mathematics 2022-09-13 Chris Lambie-Hanson , Andy Zucker

A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a…

Logic · Mathematics 2024-01-03 Mathieu Hoyrup , Takayuki Kihara , Victor Selivanov

It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question…

Let G be a closed subgroup of the group of all permutations of a countably infinite set. Let X be a Polish G-space with a countable basis A of clopen sets. Each x from X defines a characteristic function f on A by f(U)=1 iff x belongs to U…

Logic · Mathematics 2009-08-09 Aleksander Ivanov , Barbara Majcher-Iwanow

Given a completely metrizable space $X$, let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe…

Logic · Mathematics 2021-01-26 Will Brian

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…

General Topology · Mathematics 2012-12-19 Taras Banakh , Nadya Lyaskovska

In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$…

Logic · Mathematics 2025-02-19 Serhii Bardyla , Peter Nyikos , Lyubomyr Zdomskyy

Supplementing and expanding classical results, for compact spaces $K$ and $L$, $L$ metric, and their Banach spaces $\mathcal{C}(L)$ and $\mathcal{C}(K)$ of continuous real-valued functions, we provide several characterizations of the…

Functional Analysis · Mathematics 2024-11-28 Jakub Rondoš , Damian Sobota

A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the…

Logic · Mathematics 2022-07-19 Merlin Carl , Philipp Schlicht , Philip Welch

A. V. Arhangel'ski\u{i} introduced in 2012, when he was visiting the department of Mathematics at King Abduaziz University, new weaker versions of normality, called \it $C$-normality, \rm and \it countable normality. \rm The purpose of this…

General Topology · Mathematics 2017-10-02 Maha Mohammed Saeed

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…

Logic · Mathematics 2011-04-19 Christian Rosendal

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…

General Topology · Mathematics 2020-02-19 A. Bartoš , J. Bobok , J. van Mill , P. Pyrih , B. Vejnar

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

Logic · Mathematics 2023-11-08 Nikolay Bazhenov , Matthew Harrison-Trainor , Alexander Melnikov

All spaces are assumed to be Tychonoff. Given a realcompact space $X$, we denote by $\mathsf{Exp}(X)$ the smallest infinite cardinal $\kappa$ such that $X$ is homeomorphic to a closed subspace of $\mathbb{R}^\kappa$. Our main result shows…

General Topology · Mathematics 2024-11-20 Claudio Agostini , Andrea Medini , Lyubomyr Zdomskyy

The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an…

Logic · Mathematics 2023-01-23 Matthew de Brecht , Takayuki Kihara , Victor Selivanov

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

General Topology · Mathematics 2025-12-30 Alan Dow , István Juhász