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 - Independence - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2011-06-15 08:30:39 Open Document File Size: 463,35 KB Share Result on Facebook

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 whiAdd to Reading List