TY - RPRT TI - Covering of ordinals AU - Laurent Braud PY - 2009 UR - https://arxiv.org/abs/0911.4792 ID - 0911.4792 ER -