Related papers: Baire classification of separately continuous func…
Let $B_{1}(\Omega, \mathbb R)$ be the first Baire class of real functions in the pluri-fine topology on an open set $\Omega \subseteq \mathbb C^{n}$ and let $H_{1}^{*}(\Omega, \mathbb R)$ be the first functional Lebesgue class of real…
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
A function $f:X\to Y$ between topological spaces is said to be a {\it weakly Gibson function} if $f(\overline{G})\subseteq \overline{f(G)}$ for any open connected set \mbox{$G\subseteq X$}. We call a function $f:X\to Y$ {\it segmentary…
Let $U$ be an open set in $\mathbb{R}^d$. A continuous function $f\colon U \to \mathbb{R}$ is strongly nowhere differentiable if and only if for each $\gamma\in(0,1]$ and for each unit speed $C^{1,\gamma}$ curve $c\colon [a,b] \to U$, the…
A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…
A classical theorem of Kuratowski says that every Baire one function on a G_\delta subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer…
We introduce the set-self-Tietze property, an analogue of the self-Tietze property for upper semi-continuous set-valued functions. A topological space $X$ is self-Tietze, if for every closed $A \subseteq X$ and continuous function $f \colon…
We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.
A separable space is strongly sequentially separable if, for each countable dense set, every point in the space is a limit of a sequence from the dense set. We consider this and related properties, for the spaces of continous and Borel…
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…
It is known that if $f\colon {\mathbb R}^2 \to {\mathbb R}$ is a polynomial in each variable, then $f$ is a polynomial. We present generalizations of this fact, when ${\mathbb R}^2$ is replaced by $G\times H$, where $G$ and $H$ are…
We generalize the Lebesgue-Hausdorff Theorem on the characterization of Baire-one functions for $\sigma$-strongly functionally discrete mappings defined on arbitrary topological spaces
A fundamental result proved by Bourgain, Fremlin and Talagrand states that the space $B_1(M)$ of Baire one functions over a Polish space $M$ is an angelic space. Stegall extended this result by showing that the class $B_1(M,E)$ of Baire one…
For a topological space X, let (RX)s := (RX,Ts) be the cartesian product of |X| copies of the real line R with the topology of the uniform convergence on separable subsets of X. In this article we analyze the subspace C(X) of (RX)s of all…
It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.
In this article, we continue our study of Baire one functions on a topological space $X$, denoted by $B_1(X)$ and extend the well known M. H. Stones's theorem from $C(X)$ to $B_1(X)$. Introducing the structure space of $B_1(X)$, it is…
A notion of strongly Baire space is introduced. Its definition is a transfinite development of some equivalent reformulation of the Baire space definition. It is shown that every strongly Baire space is a Namioka space and every…
It is solved a problem of construction of separately continuous functions on the product of compacts with a given discontinuity points set. We obtaine the following results. 1. For arbitrary \v{C}ech complete spaces $X$, $Y$ and a separable…
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…
A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties…