Displaying similar documents to “A Godel-Functional Interpretation of the ω-Rule”