Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (2005)

by A Weiermann
Venue:Annals of Pure and Applied Logic