An ordinal analysis of parameter-free Π (2005)

by M Rathjen
Venue:comprehension, Archive for Mathematical Logic