 |  |  |  |  |  |  | ANNALS OF PURE AND APPLIED LOGIC |  |  |  |  |  |  |
|  | |  | Editorial Board |  | Managing Editors: |  | | S.N. Artemov | CUNY Graduate Center, Computer Science, Ph.D. Program in Computer Science, 365 Fifth Avenue, #4309, New York, NY 10016, USA, Tel: +1 212 817 8661, Email: sartemov@gc.cuny.edu
|  | | J.-Y. Girard | CNRS, Institut de Mathématiques de Luminy, UPR 9016, 163 Avenue de Luminy, Case 930, 13288 Marseille Cedex 09, France, Email: girard@iml.univ-mrs.fr
|  | | T. Jech | Center for Theoretical Study, Jilska 1, 110 00 Praha 1, Czech Republic, Email: jech@matsrv.math.cas.cz
|  | | A. Kechris | Caltech, Department of Mathematics, Pasadena, CA 91125, USA, Email: kechris@caltech.edu
|  | | U. Kohlenbach | Department of Mathematics, Darmstadt University of Technology, Schlossgartenstrasse 7, D-64289 Darmstadt, Germany (Proof Theory), Tel: (+49) 06151-16-4686, Fax: (+49) 06151-16-3317, Email: kohlenbach@mathematik.tu-darmstadt.de
|  | | Ph.G. Kolaitis | Computer Science Department, University of California, Santa Cruz, CA 95064, USA; (Logic and Computer Science), Email: kolaitis@cse.ucsc.edu
|  | | I. Moerdijk | (Co-ordinating Editor)Rijksuniversiteit Utrecht, Mathematisch Instituut, Postbus 80.010, 3508 TA Utrecht, The Netherlands (Categorical logic, Constructive/intuitionistic logic), Email: apal@math.uu.nl
|  | | R.I. Soare | Department of Mathematics, University of Chicago, 5734 University Ave, IL 60637-1546, USA (Computability Theory, Recursion in Logic), Email: soare@cs.uchicago.edu
|  | | A.J. Wilkie | School of Mathematics, Alan Turing Building, University of Manchester, Manchester M13 9PL, UK, Fax: +44 1865 273583, Email: awilkie@maths.manchester.ac.uk
|  | Advisory Editors: |  | | A. Blass | Univ. of Michigan, Mathematics Dept., Ann Arbor, MI 49109-1109, USA, Email: ablass@math.lsa.umich.edu
|  | | W. Buchholz | Mathematisches Institut der Ludwig-Maximilians-Universität, Theresienstr. 39, D-80333 München 2, Germany, Email: buchholz@rz.mathematik.uni-muenchen.de
|  | | S.R. Buss | University of California, Departments of Mathematics & Computer Science, San Diego, La Jolla, CA 92093-0112, USA, Email: sbuss@ucsd.edu
|  | | P. Dehornoy | Laboratoire de Mathématiques Nicolas Oresme, Université de Caen, F-14032 Caen, France, Email: patrick.dehornoy@math.unicaen.fr
|  | | J.M.E. Hyland | Centre for Mathematical Sciences, Dept. of Pure Math. and Math. Stat., Wilberforce Road, Cambridge, CB3 0WB, UK, Email: m.hyland@dpmms.cam.ac.uk
|  | | J. Krajicek | Mathematical Institute, Academy of Science, Zitna 25, Prague 115 67, Czech Republic, Email: krajicek@math.cas.cz
|  | | D. Marker | Department of Mathematics, University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA, Email: marker@math.uic.edu
|  | | U. Martin | Univ. of St. Andrews, School of Computer Science, North Haugh, St. Andrews, KY 16 6SS, UK, Email: um@dcs.st-and.ac.uk
|  | | L. Pacholski | Univ. Wroclawski, Inst. Informatyki, Przesmyckiego 20, 51-151 Wroclaw, Poland, Email: pacholsk@ii.uni.wroc.pl
|  | | P.J. Scott | Univ. of Ottawa, Dept. of Mathematics and Statistics, 585 King Edward, Ottawa, Ontario, Canada K1N 6N5, Email: phil@mathstat.uottawa.ca
|  | Editors Emeriti: |  | | C.C. Chang |
|  | | D. van Dalen |
|  | | J.E. Fenstad |
|  | | Y. Gurevich |
|  | | J. Hartmanis |
|  | | K. Kunen |
|  | | A. Mostowski |
|  | | A. Nerode |
|  | | A. Prestel |
|  | | M.O. Rabin |
|  | | H. Roger Jr. |
|  |
|  |  |  |  |
| |  |
|