Making infinite structures finite in models of second order bounded arithmetic (0)

by Søren M Riis
Venue:in Clote and Krajíček [7