Displaying similar documents to “End-extensions of countable structures and the induction schema”