JSL Editorial Staff

Matthias Aschenbrenner
Department of Mathematics
University of California, Los Angeles
Box 951555
Los Angeles, CA 90095-1555 USA
“I welcome papers in model theory.”

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.”

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.”

Stephen Jackson
Department of Mathematics
General Academics Building 435
1155 Union Circle #311430
University of North Texas
Denton, TX 76203-5017 USA
“I handle papers in descriptive set theory, set theory, inner model theory, and the theory of definable equivalence relations.”

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.”