Sylvy Anscombe
sylvy.anscombe@imj-prg.fr
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, Coordinating Editor
awodey@cmu.edu
Departments of Philosophy and Mathematics
Carnegie Mellon University
Pittsburgh, PA 15213
USA
“I handle submissions in the areas of algebraic and categorical logic, constructive mathematics, and type theory.”
Lev Beklemishev
lbekl@yandex.ru
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.”
Alexander Berenstein
aberenst@uniandes.edu.co
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.”
Damir Dzhafarov
damir@math.uconn.edu
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
vera.fischer@univie.ac.at
University of Vienna
Kolingasse 14-16
1090 Vienna, Austria
“I welcome papers in set theory.”
Itay Kaplan
kaplan@math.huji.ac.il
Einstein Institute of Mathematics
Hebrew University (The Edmond J. Safra Campus – Giv’at Ram)
Jerusalem 91904, Israel
“I handle papers in model theory.”
Departamento de Informática
Hiroshi Sakai
hsakai@people.kobe-u.ac.jp
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
a.g.setzer@swansea.ac.uk
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.”