Premium
Accessible Independence Results for Peano Arithmetic
Author(s) -
Kirby Laurie,
Paris Jeff
Publication year - 1982
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/blms/14.4.285
Subject(s) - peano axioms , mathematics , independence (probability theory) , library science , mathematics education , arithmetic , computer science , discrete mathematics , statistics
Recently some interesting first-order statements independent of Peano Arithmetic (P) have been found. Here we present perhaps the first which is, in an informal sense, purely number-theoretic in character (as opposed to metamathematical or combinatorial). The methods used to prove it, however, are combinatorial. We also give another independence result (unashamedly combinatorial in character) proved by the same methods.