English
Related papers

Related papers: Covering versus partitioning with Polish spaces

200 papers

We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational $q > 0$, there is a relation $R_{<q}(x,y)$ stating that the distance of $x$ and $y $ is less…

Metric Geometry · Mathematics 2019-06-04 Sy Friedman , Katia Fokina , Martin Koerwien , Andre Nies

We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits…

Logic · Mathematics 2019-05-08 Mathieu Hoyrup , Cristobal Rojas , Victor Selivanov , Donald M. Stull

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

We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of…

Logic · Mathematics 2021-06-08 Roman Pol , Piotr Zakrzewski

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…

General Topology · Mathematics 2017-01-19 Matthew de Brecht , Arno Pauly

If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…

Logic · Mathematics 2017-06-14 Philipp Schlicht

Let $\mathcal M_X$ denote the ideal of meager subsets of a topological space $X$. We prove that if $X$ is a completely metrizable space without isolated points, then the smallest cardinality of a non-meager subset of $X$, denoted…

General Topology · Mathematics 2023-11-20 Will Brian

The aim of this paper is to prove all well-known metrization theorems using partitions of unity. To accomplish this, we first discuss sufficient and necessary conditions for existence of $\mathcal{U}$-small partitions of unity (partitions…

General Topology · Mathematics 2013-11-18 Kyle Austin , Jerzy Dydak

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

Logic · Mathematics 2025-08-12 Maciej Malicki

In this paper we develop a technique of constructing uni- formly continuous maps between function spaces Cp(X) endowed with the pointwise topology. We prove that if a space X is compact metrizable and strongly countable-dimensional, then…

General Topology · Mathematics 2017-10-31 Rafal Gorak , Mikolaj Krupski , Witold Marciszewski

In a recent paper O. Pavlov proved the following two interesting resolvability results: (1) If a space $X$ satisfies $\Delta(X) > \ps(X)$ then $X$ is maximally resolvable. (2) If a $T_3$-space $X$ satisfies $\Delta(X) > \pe(X)$ then $X$ is…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Lajos Soukup , Zoltan Szentmiklossy

The pinning down number $ {pd}(X)$ of a topological space $X$ is the smallest cardinal $\kappa$ such that for any neighborhood assignment $U:X\to \tau_X$ there is a set $A\in [X]^\kappa$ with $A\cap U(x)\ne\emptyset$ for all $x\in X$.…

General Topology · Mathematics 2015-06-03 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$, the complexity of the collection of all Polish metric spaces with distances in…

Logic · Mathematics 2020-06-30 Riccardo Camerlo , Alberto Marcone , Luca Motto Ros

The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP…

General Topology · Mathematics 2020-12-09 Alan Dow , Istvan Juhasz

Let X be a compact Hausdorff space. Then the radius of comparison rc ( C (X)) is related to the covering dimension dim (X) by rc ( C (X)) \geq [ dim (X) - 7 ] / 2. Except for the additive constant, this improves a result of Elliott and Niu,…

Operator Algebras · Mathematics 2023-09-19 N. Christopher Phillips

The paper establishes several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having…

Logic · Mathematics 2026-03-19 Thilo Weinert

Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…

Logic · Mathematics 2010-03-05 Robert Ralowski , Szymon Zeberski

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

We construct a ZFC example of a nonmetrizable compact space $K$ such that every totally disconnected closed subspace $L\subseteq K$ is metrizable. In fact, the construction can be arranged so that every nonmetrizable compact subspace may be…

General Topology · Mathematics 2015-09-18 Piotr Koszmider

According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover…

General Topology · Mathematics 2010-11-02 Boaz Tsaban