Accessible independence results for Peano arithmetic (1982)

by Laurie Kirby, Jeff Paris
Venue:BULLETIN OF THE LONDON MATHEMATICAL SOCIETY