Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
page 8: 1. The spacing of the the rst two big formulas displayed in Denition 8 is dierent from the original one. These are formulas in lines 26 and 914. Unfortunately, this new spacing makes them harder to read, e.g. there should be a line-break after conjunction in line 5. What is worse, later in the text we refer to the specic lines of these formulas (on pages 8, 9 and 11). Thus, to avoid some non-local changes in the text we prefer to keep the original spacing in these formulas, esp. when it divides them in some logical manner. We write these formulas here and we include the le with the tex source for them. (Here they do not t on the page but they do in the galley proof copy of the article.) So, the denition 8 should be like that: The formula Wit(x, y ) is the following formula (x = y = ) (x = y = ) {(x) x = x = e y z y (zx = y (x z )) z y (z1 :(z1 ))(z2 :(z2 ))(zz1 z2 e y Succ(z, z1 , z2 , y )) z y (z1 :(z1 ))((zz1 e y z1 = x) (z2 :(z2 ))(zz1 z2 e y Succ(z, z1 , z2 , y )))}, where Succ(z, z1 , z2 , y ) states (with the help of y ) that z2 is a successor of z1 in the ordering <. It assumes that zz1 z2 e y . It has the form (z1 = z2 = ) u z1 (u = z1 u = z2 ) ((z1 ) s e z t z (Next(s, t, z1 , y ) z2 = t)) u z1 ((u) u = z1 s e z t w ((t) Next(s, t, u, w ) z2 = t))) u z1 ((u) r z1 (ru = z1 s e z t z ((t) Next(s, t, u, w ) z2 = rt))).
2. line -12: Wit should be changed to Next. In the latex source we use the macro \Next. 3. line -2: xk+1 {a}+ should be changed to xk {b}+ page 12, line -10: denes should be dene. 2
page 13, line 5: Moreover, we assume should be deleted. page 15 1. line 6: There should be a dot before Namely. 2. In the last sentence before Appendix, we feel should be changed to it seems to us. 3. In the second line of Appendix taste should be changed to manner. page 16, line 6: are or should be deleted. page 19, line 17: In Equation (< ) the formula of the form (u, y ) should be just (u, y ).