Displaying similar documents to “Second order arithmetic and autonomous computability.”