TY - RPRT TI - Computable structures of rank omega_1^{CK} AU - Julia Knight AU - Jessica Millar PY - 2005 UR - https://arxiv.org/abs/math/0508507 ID - math/0508507 ER -