Update Procedures and the 1-Consistency of Arithmetic

13 years 11 months ago

Download www.andrew.cmu.edu

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.

Jeremy Avigad

Real-time Traffic

Certain Type | Epsilon-substitution Method | MLQ 2002 | Update Procedure |

claim paper

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	MLQ
Authors	Jeremy Avigad

Comments (0)

Sciweavers

Update Procedures and the 1-Consistency of Arithmetic

Certain Type | Epsilon-substitution Method | MLQ 2002 | Update Procedure |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers