Annals of Pure and Applied Logic 2000: Vol 102 Index

2 Pages·2000·0.23 MB·English

ANNALS OF
PURE AND
APPLIED LOGIC
ELSEVIER Annals of Pure and Applied Logic 102 (2000) 285
www.elsevier.com/locate/apal
Author Index
Volume 102 (2000)
(The issue number is given in front of the page numbers.)
Appenzeller, F., Classification theory through stationary logic (1-2) 27- 68
Apter, A.W. and Cummings, J., A global version of a theorem
of Ben-David and Magidor (3) 199-222
Bucciarelli, A. and Ehrhard, T., On phase semantics and
denotational semantics in multiplicative-additive linear logic (3) 247-282
Cummings, J., see Apter, A.W. (3) 199-222
Edmundo, M.J., Structure theorems for o-minimal expansions
of groups (1-2) 159-181
Ehrhard, T., see Bucciarelli, A. (3) 247-282
Ghilardi, S., Best solving modal equations (3) 183-198
Hamkins, J.D. and Thomas, S., Changing the heights of
automorphism towers (1-2) 139-157
Jensen, R.B. and Zeman, M., Smooth categories and global 0 (1-2) 101-138
Zeman, M., see Jensen, R.B. (1-2) 101-138
Kanovei, V., Linearization of definable order relations (1-2) 69-100
Kohlenbach, U., Things that can and things that cannot be
done in PRA (3) 223-245
Li, D., Simplifying von Plato’s axiomatization of Constructive
Apartness Geometry (1-2) 1- 26
Pynko, A.P., Erratum to “Definitional equivalence and
algebraizability of generalized logical systems” Annals of Pure
and Applied Logic 98 (1999) 1-68 (3) 283-284
Thomas, S., see Hamkins, J.D. (1-2) 139-157
Elsevier Science B.V.