Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0710.0154

Hurewicz-like tests for Borel subsets of the plane

Dominique Lecomte
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to recognize potentially $\bormxi$ sets.

Explore related subjects

math.LOmath.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dominique Lecomte. 2007-09-30. Hurewicz-like tests for Borel subsets of the plane. https://arxiv.org/abs/0710.0154

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Complexity of deep computations via topology of function spaces

We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification of Rosenthal compacta, to identify new complexity classes. We use the language of model theory, specifically, the concept of \emph{independence} from Shelah's classification theory, to translate between topology and computation. We use the theory of Rosenthal compacta to characterize approximablility of deep computations, both deterministically and probabilistically.

math.LO↗
arXiv2026

Points and their multiples on curves in powers of simple abelian varieties

Let $G$ be a simple abelian variety of dimension $g \in \mathbb{N}$ defined over $\mathbb{Q}^\mathrm{alg}$ and let $C_1, C_2 \subseteq G^N(\mathbb{C})$ be irreducible closed algebraic curves with $N \geq 3$. Further assume that at least one of $C_1$ and $C_2$ is not defined over $\mathbb{Q}^\mathrm{alg}$. Suppose that there does not exist an algebraic subgroup $H_1 \subseteq G^N(\mathbb{C})$ of dimension $g$ such that $C_1 \subseteq H_1$ and that there does not exist an algebraic subgroup $H_2 \subseteq G^N(\mathbb{C})$ of dimension $2g$ such that $C_1 \cup C_2 \subseteq H_2$. Denoting $\mathcal{N} = \{n \in \mathbb{N} \ | \ [n]C_1 \subseteq C_2\}$, we prove that $\bigcup_{n \in \mathbb{N} \setminus \mathcal{N}}\{x \in C_1 \ | \ nx \in C_2\}$ is finite.

math.LO↗
arXiv2026

Condensed Whitehead Problem

The Whitehead problem, which asks whether every abelian group $A$ satisfying $\mathrm{Ext}^1(A,\mathbb{Z}) = 0$ is free, is independent of ZFC. However, this problem has an analogue in condensed mathematics that can be answered affirmatively. In this note, we give a new proof that an abelian group $ A $ of size $κ$ is free if and only if $\underline{\mathrm{Ext}}^1(\underline{A}, \underline{\mathbb{Z}})(S_κ) = 0$, where $ S_κ$ is the Stone space of the Boolean completion of $\operatorname{Add}(ω,κ)$.

math.LO↗