Displaying similar documents to “Binumerability in a sequence of theories”