Update procedures and the 1-consistency of arithmetic (2002)
by
Jeremy Avigad
| Venue: | Mathematical Logic Quarterly |
| Citations: | 4 - 0 self |
BibTeX
@ARTICLE{Avigad02updateprocedures,
author = {Jeremy Avigad},
title = {Update procedures and the 1-consistency of arithmetic},
journal = {Mathematical Logic Quarterly},
year = {2002},
volume = {48},
pages = {3--13}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
