相关论文: Tests \`a la Hurewicz dans le plan
Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending…
This article is devoted to the interplay between productively Menger and productively Hurewicz subspaces of the Cantor space. In particular, we show that in the Laver model for the consistency of the Borel's conjecture these two notions…
Becker and Kechris showed that if a Polish group G acts continuously on a Polish space X, then for any invariant Borel set B we can change the topology on X so that B becomes open, the Borel structure is preserved, and the action continues…
Given a Polish group $G$, let $E(G)$ be the right coset equivalence relation $G^\omega/c(G)$, where $c(G)$ is the group of all convergent sequences in $G$. The connected component of the identity of a Polish group $G$ is denoted by $G_0$.…
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…
We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…
We consider stability theory for Polish spaces and more generally for definable structures (say, with elements of a set of reals). We clarify by proving some equivalent conditions for $\aleph_0$-stability. We succeed to prove existence of…
We investigate some properties of topological groups related to disconnectedness or Archimedeanness. We prove or disprove the preservation of those under operations as subgroups, quotients, products, etc. Characterizations of…
We show that, for a coanalytic subspace $X$ of $2^\omega$, the countable dense homogeneity of $X^\omega$ is equivalent to $X$ being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of…
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…
We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…
We prove that if $X$ is a Polish space and $F$ is a face of $P(X)$ with the Baire property, then $F$ is either a meager or a co-meager subset of $P(X)$. As a consequence we show that for every abelian Polish group $X$ and every analytic…
The Hurewicz property is a classical generalization of $\sigma$-compactness and Sierpi\'nski sets (whose existence follows from CH) are standard examples of non-$\sigma$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak…
By using a similar pattern of arguments, we show that in three categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at…
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…
An inverse limit of a sequence of covering spaces over a given space $X$ is not, in general, a covering space over $X$ but is still a lifting space, i.e. a Hurewicz fibration with unique path lifting property. Of particular interest are…
A set $E$ in a Banach space $X$ is compactivorous if for every compact set $K$ in $X$ there is a nonempty, (relatively) open subset of $K$ which can be translated into $E$. In a separable Banach space, this is a sufficient condition which…
In this paper, we introduced $\alpha$-Hurewicz $\&$ $\theta$-Hurewicz properties in a topological space $X$ and investigated their relationship with other selective covering properties. We have shown that for an extremally disconnected…
In this paper we shall introduce some nonmeasurable and completely nonmeasurable subsets of the plane with various additional properties, e.g. being Hamel basis, intersecting each line in a strong Luzin / Sierpi\'nski set. Also some…
A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…