Definability of Initial Segments