TY - RPRT TI - Definable minimal collapse functions at arbitrary projective levels AU - Vladimir Kanovei AU - Vassily Lyubetsky PY - 2017 DO - 10.1017/jsl.2018.77 UR - https://arxiv.org/abs/1707.07320 ID - 1707.07320 ER -