Displaying similar documents to “A proof of the compactness theorem for arithmetical classes”