TY - RPRT TI - Definability of initial segments AU - Saharon Shelah AU - Akito Tsuboi PY - 2001 UR - https://arxiv.org/abs/math/0104277 ID - math/0104277 ER -