TY - RPRT TI - Choiceless Löwenheim-Skolem property and uniform definability of grounds AU - Toshimichi Usuba PY - 2020 UR - https://arxiv.org/abs/1904.00895 ID - 1904.00895 ER -