Ordinal analysis by transformations

Henry Towsner. Ordinal analysis by transformations. Annals of Pure and Applied Logic, 157(2-3):269-280, 2009. [doi]

Abstract

Abstract is missing.