ACCESSIBLE INDEPENDENCE RESULTS FOR PEANO ARITHMETIC LAURIE KIRBY AND JEFF PARIS Recently some interesting first-order statements independent of Peano Arithmetic (P) have been found. Here we present perhaps the first whi

First Page		Document Content
Date: 2011-06-15 08:30:39		ACCESSIBLE INDEPENDENCE RESULTS FOR PEANO ARITHMETIC LAURIE KIRBY AND JEFF PARIS Recently some interesting first-order statements independent of Peano Arithmetic (P) have been found. Here we present perhaps the first whi Add to Reading List Source URL: faculty.baruch.cuny.edu Download Document from Source Website File Size: 463,35 KB Share Document on Facebook