Jeff Paris and Leo Harrington (1977): A Mathematical Incompleteness in Peano Arithmetic


Title: A Mathematical Incompleteness in Peano Arithmetic
Author(s): Jeff Paris and Leo Harrington
Year: 1977
Booktitle: Handbook of Mathematical Logic
Editor(s): Jon Barwise
Chapter: D.8
Pages: 1133-1142
Publisher: North Holland
Address: Amsterdam

Concepts