Related papers: Codings of separable compact subsets of the first …

In this paper, we give necessary and sufficient conditions for the space B_1(X) of first Baire class functions on a Tychonoff space X, with pointwise topology, to be (strongly) sequentially separable.

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. Let $C_p(X,[0,1])$ denote the space of all continuous $[0,1]$-valued functions on a Tychonoff space $X$ with the topology of…

Suppose $E \subseteq \mathbb{R}$ is nowhere dense. If $(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E)$ does not define every bounded Borel subset of every $\mathbb{R}^n$ then for every $s > 0$ we have $$ | \{ k \in…

We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…

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 that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

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 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…

We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with…

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,…

We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e.…

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

Kechris and Louveau showed that each real-valued bounded Baire class 1 function defined on a compact metric space can be written as an alternating sum of a decreasing countable transfinite sequence of upper semi-continuous functions.…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

We investigate the existence of well-ordered sequences of Baire 1 functions on separable metric spaces.

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…

Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of…

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…

Given a space $X$ we investigate the descriptive complexity class $\G_X$ of the set $\FF_0(X)$ of all its closed zero-dimensional subsets, viewed as a subset of the hyperspace $\FF(X)$ of all closed subsets of $X$. We prove that $\max \{…