The Unfolding of Non-Finitist Arithmetic (2000)
by
Solomon Feferman
,
Thomas Strahm
| Citations: | 5 - 3 self |
BibTeX
@MISC{Feferman00theunfolding,
author = {Solomon Feferman and Thomas Strahm},
title = {The Unfolding of Non-Finitist Arithmetic},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The unfolding of schematic formal systems is a novel concept which was initiated in Feferman [6]. This paper is mainly concerned with the proof-theoretic analysis of various unfolding systems for non-nitist arithmetic NFA. In particular, we examine two restricted unfoldings U 0 (NFA) and U 1 (NFA), as well as a full unfolding, U(NFA). The principal results then state: (i) U 0 (NFA) is equivalent to PA; (ii) U 1 (NFA) is equivalent to RA<! ; (iii) U(NFA) is equivalent to RA< 0 . Thus U(NFA) is proof-theoretically equivalent to predicative analysis.
