TY - RPRT TI - Automatic Ordinals AU - Olivier Finkel AU - Stevo Todorcevic PY - 2012 UR - https://arxiv.org/abs/1205.1775 ID - 1205.1775 ER -