Parametrizing the abstract Ellentuck theorem (Q864163)

The author uses combinatorial conditions of topological spaces (proposed by Todorcevic) to obtain a parametrized version of the abstract Ellentuck theorem. For example it is shown that the family of perfectly Ramsey subsets of \(2^\infty\times \text{FIN}^{[\infty]}_k\) is closed under the Souslin operation. In this way, he obtains as corollaries some classical results like the parametrized version of the Galvin-Prikry theorem due to Miller and Todorcevic, as well as the parametrized version of the Ellentuck theorem due to Pawlikowski.