Binumerability in a Sequence of Theories