Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Update procedures and the 1-consistency of arithmetic
 

Summary: Update procedures and the
1-consistency of arithmetic
Jeremy Avigad
February 8, 2002
Abstract
The 1-consistency of arithmetic is shown to be equivalent to the ex-
istence of fixed points of a certain type of update procedure, which is
implicit in the epsilon-substitution method.
1 Introduction
A theory in the language of arithmetic is said to be 1-consistent if it is consistent
with every true universal sentence, or, equivalently, if every existential sentence
it proves is true. The main theorem in this paper asserts that the 1-consistency
of first-order Peano arithmetic is equivalent, over a weak metatheory, to the
assertion that one can always solve certain systems of equations involving finite
partial functions on the natural numbers.
It has been noted before (for example, by Tait, in [17]) that one can view
Hilbert's epsilon-substitution method as posing the problem of finding solutions
to systems of equations of a certain kind. The theorem just mentioned simply
characterizes the types of equations that need to be solved, in a way that, I
hope, is intuitive and helps clarify the computational content of the problem.

  

Source: Avigad, Jeremy - Departments of Mathematical Sciences & Philosophy, Carnegie Mellon University

 

Collections: Multidisciplinary Databases and Resources; Mathematics