A modified sentence unprovable in PA
From MaRDI portal
Publication:4323034
DOI10.2307/2275697zbMath0823.03031OpenAlexW2154759565MaRDI QIDQ4323034
Publication date: 31 October 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275697
Peano arithmeticprovabilityreverse mathematicsunprovabilityfinite sequences of natural numberssymmetric gap-condition
Related Items (1)
Cites Work
This page was built for publication: A modified sentence unprovable in PA