The square bracket polarized partition characterization of the selection property S₁(Ω, Ω)

From papers

Let (X,τ)(X,\tau) be a topological space. Write

(ΩΩ)[ΩΩ]k/<31,1\left(\begin{array}{c} \Omega\\ \Omega \end{array}\right) \longrightarrow \left[ \begin{array}{c}\Omega\\ \Omega \end{array}\right]^{1,1}_{k/<3}

when the square bracket polarized partition relation holds for the families of Ω\Omega-covers of XX, with kk a positive integer. The space (X,τ)(X,\tau) has the selection property S1(Ω,Ω)\textsf{S}_1(\Omega,\Omega) if, for every sequence of members of Ω\Omega, one can select one member from each so that the selected family belongs to Ω\Omega.

Square bracket polarized partition conjecture. If (X,τ)(X,\tau) satisfies

(ΩΩ)[ΩΩ]k/<31,1\left(\begin{array}{c} \Omega\\ \Omega \end{array}\right) \longrightarrow \left[ \begin{array}{c}\Omega\\ \Omega \end{array}\right]^{1,1}_{k/<3}

for any positive integer kk, then (X,τ)(X,\tau) has the property S1(Ω,Ω)\textsf{S}_1(\Omega,\Omega).

The conjecture asks whether this square bracket polarized partition relation characterizes the selection property S1(Ω,Ω)\textsf{S}_1(\Omega,\Omega) for topological spaces. The supplied text does not state whether the assertion is known or unresolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Marion Scheepers, “Ramsey Theory and the Borel Conjecture”, arXiv:1912.03796 (2019).

Solutions 0

No solutions have been posted yet.