TY - RPRT TI - Around logical perfection AU - John Alexander Cruz Morales AU - Andrés Villaveces AU - Boris Zilber PY - 2019 UR - https://arxiv.org/abs/1803.04909 ID - 1803.04909 ER -