Date of Original Version
2-8-2002
Type
Article
Published In
Mathematical Logic Quarterly, 48: 3-13, 2002.
Abstract or Table of Contents
The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed points of a certain type of update procedure, which is implicit in the epsilon-substitution method.