TY  - RPRT
TI  - $Σ_1(κ)$-definable subsets of $\mathrm{H}(κ^+)$
AU  - Philipp Lücke
AU  - Ralf Schindler
AU  - Philipp Schlicht
PY  - 2017
UR  - https://arxiv.org/abs/1710.09766
ID  - 1710.09766
ER  -