JSL Editorial Staff

Sylvy Anscombe
Institut de Mathématiques de Jussieu-Paris Rive Gauche
Université de Paris
Bâtiment Sophie Germain, Boite Courrier 7012
8 Place Aurélie Nemours
75205 Paris Cedex 13, France
“I welcome papers in model theory and its applications.”

Steve Awodey
Departments of Philosophy and Mathematics
Carnegie Mellon University
Pittsburgh, PA 15213
“I will handle submissions in the areas of algebraic and categorical logic and type theory.”

Verónica Becher
Departamento de Computación
Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires
Pabellón I
Ciudad Universitaria C1428EGA
Buenos Aires, Argentina
“I handle papers in computability theory and in subjects related to combinatorics on words, automata theory and number theory.”

Lev Beklemishev
Steklov Mathematical Institute of RAS
Gubkina str. 8
119991 Moscow, Russia
“I handle papers in proof theory, formal arithmetic and its fragments, provability logic, modal logic and related areas.”

Michael Benedikt
Department of Computer Science
Oxford University
Wolfson Building, Parks Road
Oxford, OX1 3QD, United Kingdom
“I handle papers in finite and computational model theory, automata theory, and model theoretic approaches to logic in computer science.”

Alexander Berenstein
Departamento de Matemáticas
Universidad de los Andes
Cra 1 Nº 18A-12, Edificio H
111711 Bogotá, Colombia
“I handle papers in model theory.”

Riccardo Camerlo
camerlo@dima.unige.itDipartimento di MatematicaUniversità di GenovaVia Dodecaneso, 3516146 Genova, Italy
“I handle papers in descriptive set theory, including its interactions with other areas of logic and mathematics.”

Enrique Casanovas, Coordinating Editor
Department of Mathematics and Computer Science
University of Barcelona
Gran Via 585
08007 Barcelona, Spain
“I accept papers in model theory.”

Damir Dzhafarov
Department of Mathematics
University of Connecticut
341 Mansfield Road, U-1009
Storrs, CT 06269-1009 USA
“I welcome papers in all areas of pure and applied computability theory, including algorithmic randomness, computable analysis, computable combinatorics, computable structure theory, and reverse mathematics.”

Vera Fischer
University of Vienna
Kolingasse 14-16
1090 Vienna, Austria
“I welcome papers in set theory.”

Hiroshi Sakai
Graduate School of System Informatics, Kobe University
1-1 Rokkodai-cho, Nada-ku
Kobe, 657-8501, Japan
“I handle papers in set theory, especially on infinite combinatorics, large cardinals, forcing axioms and their applications.”

Anton Setzer
Department of Computer Science, Swansea University Bay Campus
Fabian Way
Swansea, SA1 8EN United Kingdom
“I handle papers in proof theory, dependent type theory (especially Martin-Loef Type Theory), and interactive theorem proving.”