On Baire isomorphisms (Q1179682)

The purpose of this note is to prove the following two propositions: Theorem 1. Let \(X\) be a compact space and let \(Y\) be a Baire subset of the Stone-Čech compactification of itself. If \(X\) and \(Y\) are first- level Baire isomorphic, then \(Y\) is \(\sigma\)-compact. Theorem 2. Let \(X\) be a Baire subset of the Stone-Čech compactification of itself and let \(Y\) be an element of the family obtained by applying the Souslin operation to the family of all functionally closed subsets of the Stone-Čech compactification of \(Y\). If \(X\) and \(Y\) are Baire isomorphic, then \(Y\) is also a Baire subset of the Stone-Čech compactification of itself. Theorems 1 and 2 give affirmative answers to the questions posed in Problems 55 and 64 of [\textit{C. A. Rogers} and \textit{J. E. Jayne} et al., Analytic sets (1980; Zbl 0451.04001)].