Date of Original Version

2-8-2002

Type

Article

Published In

Mathematical Logic Quarterly, 48: 3-13, 2002.

Rights Management

The definitive version is available at www3.interscience.wiley.com.

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.

Included in

Philosophy Commons

Share

COinS