Date of Original Version

11-21-2000

Type

Technical Report

Rights Management

All Rights Reserved

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.

Comments

CMU-PHIL-114

Included in

Philosophy Commons

Share

COinS