A simple proof of Parsons' theorem

A simple proof of Parsons' theorem (0)

by Fernando Ferreira

Citations:

2 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A simple proof of Parsons' theorem	user correction - Legacy Corrections
AUTHOR NAME	Fernando Ferreira	SVM HeaderParse 0.1
AUTHOR AFFIL	Abstract Let IΣ1 be the fragment of elementary Peano Arithmetic in	SVM HeaderParse 0.2
ABSTRACT	Let I# 1 be the fragment of elementary Peano Arithmetic in which induction is restricted to #1-formulas. More than three decades ago, Charles Parsons showed that the provably total functions of I# 1 are exactly the primitive recursive functions. In this paper, we observe that Parsons' result is a consequence of Herbrand's theorem concerning the of universal theories. We give a self-contained proof requiring only basic knowledge of mathematical logic.	user correction - Legacy Corrections
YEAR	0	user correction - Legacy Corrections
CITATIONS	28 found	ParsCit 1.0