Author index to volume 70 (1994)

ANNALS OF PURE AND APPLIED LOGIC Annals

ELSBVIER

of Pure and Applied

Author

Logic 70 (1994) 287

Index to Volume 70 (1994)

(The issue number

is given in front of the page numbers.)

Ash, C.J. and Knight, J.F., Ramified systems Cummings, J., Coherent sequences versus Radin sequences Downey, R., Gasarch, W. and Moses, M., The structure of the honest polynomial m-degrees Friedman, SD., A simpler proof of Jensen’s coding theorem Gasarch, W., see Downey, R. Handley, W.G. and Wainer, S.S., Equational derivation vs. computation Joyal, A. and Moerdijk, I., A completeness theorem for open maps Knight, J.F., see Ash, C.J. Moerdijk, I., see Joyal, A. Moses, M., see Downey, R. Newelski, L., Meager forking Paris, J.B., Vencovska; A. and Wilmers, G.M., A natural prior probability distribution derived from the propositional calculas van Engelen, F., On Bore1 ideals van Oosten, J., Axiomatizing higher-order Vencovska, A., see Paris, J.B. Wainer, S.S., see Handley, W.G. Wilmers, G.M., see Paris, J.B.

Elsevier Science B.V.

Kleene

realizability

(3) (3)

205-22 1 223-241

(2) (1) (2)

113-139 l- 16 113-139

(1)

17- 49

(1) (3) (1) (2) (2)

51- 86 205-221 51- 86 113-139 141-175

(3) (2) (1) (3) (1) (3)

243-285 177-203 87-111 243-285 17- 49 243-285