@inbook{10.2307/j.ctt7ztgtr.25,
URL = {http://www.jstor.org/stable/j.ctt7ztgtr.25},
abstract = {Now we are ready to begin to investigate which results of finitary math ematical logic can be established predicatively. We will follow the presentation in [Sh] very closely. See [Sh,§2.4] in connection with this chapter.It will be convenient to enlarge our stock of variables. We also letA, B, C,andD-possibly with 0, 1, 2, ... as a subscript—be variables, and if x is a variable we let x’ be a variable. The notion of alphabetical order is understood to be suitably redefined, with the relative order of the old variables being unchanged. Generally speaking, our},
bookauthor = {Edward Nelson},
booktitle = {Predicative Arithmetic. (MN-32):},
pages = {101--110},
publisher = {Princeton University Press},
title = {Formulas},
year = {1986}
}