@misc{indiciaefa8b1dae6419, title = {\$Σ\_1(κ)\$-definable subsets of \$\textbackslash{}mathrm\{H\}(κ\textasciicircum{}+)\$}, author = {Philipp Lücke and Ralf Schindler and Philipp Schlicht}, year = {2017}, url = {https://arxiv.org/abs/1710.09766}, note = {Source identifier: 1710.09766} }