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

We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields…

Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…

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…

Certain subclasses of $B_1(K)$, the Baire-1 functions on a compact metric space $K$, are defined and characterized. Some applications to Banach spaces are given.

We prove that for any homogeneous structure $\mathbf{K}$ in a language with finitely many relation symbols of arity at most two satisfying SDAP$^+$ (or LSDAP$^+$), there are spaces of subcopies of $\mathbf{K}$, forming subspaces of the…

In this paper, we show that there are a totally ordered compact K separable (K is Rosenthal compact set), a Hausdorff topology T' on C(K) and two closed subspaces Y1, Y2 of (C(K); Tp) such that (C(K);T') is not universally measurable,…

We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a…

We show how to improve on Theorem 10 in [arXiv:0906.4883], describing when subsets in $W^{1,p}(\mathbb{R}^n)$ are totally bounded subsets of $L^q(\mathbb{R}^n)$ for $p<n$ and $p\le q<p^*$. This improvement was first shown by Dosso, Fofana,…

We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…

The paper considers the spaces $B_p[1, \alpha]$ of all Baire functions $x\colon [1,\alpha]\to \mathbb{R}$, defined on segments of ordinals $[1,\alpha]$ and endowed with the topology of pointwise convergence. A complete topological…

We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of…

It is shown that for any Baire space $X$, linearly ordered compact spaces $Y_1,\dots, Y_n$, compact space $Y\subseteq Y_1\times\cdots \times Y_n$ such that for every parallelepiped $W\subseteq Y_1\times\cdots \times Y_n$ the set $Y\cap W$…

Let $\{F_n\}$ be the sequence of the Fej\'er kernels on the unit circle $\mathbb{T}$. The first author recently proved that if $X$ is a separable Banach function space on $\mathbb{T}$ such that the Hardy-Littlewood maximal operator $M$ is…

In a previous work, the first named author described the set $\cal P$ of all values of the Szlenk indices of separable Banach spaces. We complete this result by showing that for any integer $n$ and any ordinal $\alpha$ in $\cal P$, there…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…

Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…