English
Related papers

Related papers: Tests \`a la Hurewicz dans le plan

200 papers

We study products of general topological spaces with Menger's covering property, and its refinements based on filters and semifilters. To this end, we extend the projection method from the classic real line topology to the Michael topology.…

General Topology · Mathematics 2017-01-04 Piotr Szewczak , Boaz Tsaban

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

Logic · Mathematics 2018-08-16 Vladimir Kanovei , Vassily Lyubetsky

The set of increasing functions on the rational numbers, equipped with the composition operation, naturally forms a topological semigroup with respect to the topology of pointwise convergence in which a sequence of increasing functions…

Rings and Algebras · Mathematics 2023-08-15 Michael Pinsker , Clemens Schindler

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 Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…

Algebraic Geometry · Mathematics 2021-01-14 János Kollár , Max Lieblich , Martin Olsson , Will Sawin

We show that a {\it Borel} action of a Polish group on a standard Borel space is Borel isomorphic to a {\it continuous} action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of…

Logic · Mathematics 2016-09-06 Howard Becker , Alexander S. Kechris

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

Algebraic Topology · Mathematics 2023-08-02 J. Daniel Christensen , Luis Scoccola

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

Logic · Mathematics 2007-08-15 Saharon Shelah

Several recent articles in operator algebras make a nontrivial use of the theory of measurable fields of von Neumann algebras $(M_x)_{x \in X}$ and related structures. This includes the associated field $(\text{Aut}\ M_x)_{x \in X}$ of…

Operator Algebras · Mathematics 2025-04-22 Stefaan Vaes , Lise Wouters

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X…

Logic · Mathematics 2011-02-17 Alexey Ostrovsky

We study Borel equivalence relations induced by Borel actions of tsi Polish groups on standard Borel spaces. We characterize when such an equivalence relation admits classification by countable structures using a variant of the $\mathbb…

Logic · Mathematics 2021-08-02 Jan Grebík

Let $X$ be the countable product of Abelian locally compact Polish groups and $A,B\subset X$ be two Borel sets, which are not Haar-null in $X$. We prove that the sum-set $A+B:=\{a+b:a\in A,\;\;b\in B\}$ is Haar-open in the sense that for…

General Topology · Mathematics 2018-06-18 Taras Banakh

The paper tries to extend results of the classical Descriptive Set Theory to as many countably based T_0-spaces (cb_0-spaces) as possible. Along with extending some central facts about Borel, Luzin and Hausdorff hierarchies of sets we…

General Topology · Mathematics 2014-06-17 Victor Selivanov

A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and…

Logic · Mathematics 2023-04-05 Shaun Allison

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…

Classical Analysis and ODEs · Mathematics 2025-02-19 Yeonwook Jung , Chun-Kit Lai

It is known that both the Menger and Hurewicz property of a Tychonoff space $X$ can be described by the way $X$ is placed in its \v{C}ech-Stone compactification $\beta X$. We provide analogous characterizations for the projective versions…

General Topology · Mathematics 2024-05-08 Mikołaj Krupski , Kacper Kucharski

We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than…

General Topology · Mathematics 2016-10-27 Piotr Szewczak , Boaz Tsaban

We prove that every Polish group with more than two elements admits a non-trivial topological group automorphism. As a consequence, a hypothetical uniquely homogeneous Polish space with more than two points cannot be a semitopological…

Logic · Mathematics 2025-12-12 Carlos Pérez Estrada , Ulises Ariet Ramos-García

In this paper, we investigate Polish semigroup topologies on the endomorphism monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$. We introduce a new structural condition, property $\mathbb{XX}$, which…

Group Theory · Mathematics 2026-05-27 Serhii Bardyla , Luna Elliott

We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as…

Logic · Mathematics 2024-03-18 Ruiyuan Chen