Update Procedures and the 1-Consistency of Arithmetic

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.

• Type: Journal
• Year: 2002
• Where: MLQ
• Authors: Jeremy Avigad
• Keywords: Certain Type, Epsilon-substitution Method, MLQ 2002, Update Procedure