Related papers: Preservation of complete Baireness

A topological space $X$ is called Piotrowski if every quasicontinuous map $f:Z\to X$ from a Baire space $Z$ to $X$ has a continuity point. In this paper we survey known results on Piotrowski spaces and investigate the relation of Piotrowski…

We prove that if X is a separable metric space with the Hurewicz covering property, then the Banach-Mazur game played on X is determined. The implication is not true when "Hurewicz covering property" is replaced with "Menger covering…

Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions…

In this paper, we introduced the mildly version of the Hurewicz basis covering property, studied by Babinkostova, Ko\v{c}inac, and Scheepers. A space $X$ is said to have mildly-Hurewicz property if for each sequence $\langle \mathcal{U}_n :…

In 1935 K. Kuratowski posed the problem whether a function f:X ! Y , (X is completely metrizable and Y is metrizable), with the property that a preimage of each open has the Baire property, is continuous apart from a meager set. This paper…

Let f be a continuous map of a complete separable metric space E onto the irrationals. We show that if a complete separable metric space M contains isometric copies of every closed relatively discrete set in E, then M contains also an…

We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.

We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.

A set of integers $A$ is computably encodable if every infinite set of integers has an infinite subset computing $A$. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this…

In this paper we present a few properties of $K$-partitions, which are partitions of Baire spaces such that all subfamilies of such a partition sum to a set with the Baire property. Among the result proven we have general existence result…

We prove that if $X$ is a topological space that admits Debreu's classical utility theorem (eg.\ $X$ is separable and connected, second countable, etc.), then order relations on $X$ satisfying milder completeness conditions can be…

In this paper a generalization of Urysohn's metrization theorem is given for higher cardinals. Namely, it is shown that a topological space with a basis of cardinality at most $|\omega_\mu|$ or smaller is $\omega_\mu$-metrizable if and only…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…

We prove that: 1. If a Hausdorff M-space is a continuous closed image of a submetrizable space, then it is metrizable. 2. A dense-in-itself open-closed image of a submetrizable space is submetrizable if and only if it is functionally…

Let $f\colon X\to Y$ be a perfect $n$-dimensional surjection of paracompact spaces with $Y$ being a $C$-space. We prove that, for any $m\geq n+1$, almost all (in the sense of Baire category) maps $g$ from $X$ into the $m$-dimensional cube…

Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…

Let X and Y be separable metrizable spaces, and f:X-->Y be a function. We want to recover f from its values on a small set via a simple algorithm. We show that this is possible if f is Baire class one, and in fact we get a characterization.…

We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these…