Author index volume 95 (1998)

ANNALS OF PURE AND APPLIED LOGIC Annals

of Pure and Applied

Logic 95 (1998) 287

Author Index Volume 95 (1998) (The issue number

is given in front of the page numbers.)

Arai, T., Some results on cut-elimination, provable wellorderings, induction and reflection Chatzidakis, Z. and Pillay, A., Generic structures and simple theories Downey, R., LaForte, G. and Nies, A., Computably enumerable sets and quasi-reducibility Kohlenbach, U., On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Laforte, G., see Downey, R. Lombard, M. and Vesley, R., A common axiom set for classical and intuitionistic plane geometry Maxwell, S., A general model completeness result for expansions of the real ordered field Nies, A., see Downey, R. Pillay, A., see Chatzidakis, Z. Schaeffer, B., Dynamic noncomputability

notions

Vesley, R., see Lombard, M.

Elscvier Science B.V.

of genericity

(l--3)

93-184

(l-3)

7f-

92

(l-3)

I-

3s

(l-3) (l-3)

Xl-- 285 l- 35

(l-3)

229~-255

(l-3) (l-3) (l-31

18S227

(l-3) (I-3)

37m 69 229 -255

lm 35 7L 92

and array