The $\lambda$-PSP at $\lambda$-$\Pi^1_1$ sets

Given a strong limit cardinal $\lambda$ of countable cofinality, we show that if every (boldface) $\lambda\hyp\boldsymbol{\Pi}^1_1$ subset of the generalised Cantor space ${}^{\lambda}2$ has the $\lambda$-$\mathsf{PSP}$, then $0^\dagger$ exists.

We show too that if every (lightface) $\lambda\hyp\Pi^1_1$ subset of ${}^\lambda 2$ has the $\lambda\hyp\mathsf{PSP}$, then there is an inner model with a measurable cardinal.

The paper, a contribution to the ongoing research on generalised regularity properties in generalised descriptive set theory at singular cardinals of countable cofinality, is aimed at descriptive set theorists, and so it presents its results in as much detail as possible, particularly regarding the inner model-theoretic aspects.

In doing so, we intend to provide the community with the tools needed to handle consistency strength arguments at the corresponding levels.