TY - RPRT TI - Convex choice, finite choice and sorting AU - Takayuki Kihara AU - Arno Pauly PY - 2019 UR - https://arxiv.org/abs/1905.03190 ID - 1905.03190 ER -