Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.

– A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science

Managing Editors
Benedikt Löwe (Amsterdam, The Netherlands, Hamburg, Germany, & Cambridge, UK)
Deirdre Haskell (Hamilton, ON, Canada)
Klaus Meer (Cottbus, Germany)

Editorial Office
MLQ Editorial Office
Institute for Logic, Language and Computation
Universiteit van Amsterdam
Postbus 94242
1090 GE Amsterdam
The Netherlands

e-mail: mlq-science@uva.nl

Editorial Assistant
Hugo Nobrega (Rio de Janeiro, Brazil)

Editorial Board
Marat Arslanov (Kazan, Russia)
Steve Awodey (Pittsburgh, PA, USA)
John T. Baldwin (Chicago, IL, USA)
Nick Bezhanishvili (Amsterdam, The Netherlands)
Manuel Bodirsky (Dresden, Germany)
Zoé Chatzidakis (Paris, France)
Rod Downey (Wellington, New Zealand)
Ilias Farah (Toronto, ON, Canada)
Su Gao (Denton, TX, USA)
Mai Gehrke (Paris, France)
Stefan Geschke (Hamburg, Germany)
Victoria Gitman (New York, NY, USA)
Rosalie Iemhoff (Utrecht, The Netherlands)
Hajime Ishihara (Nomi, Japan)
Jan Krajicek (Prague, Czech Republic)
Maria Emilia Maietti (Padova, Italy)
Andrew Marks (Los Angeles, CA, USA
Jörg Rothe (Düsseldorf, Germany)
Alexandra Silva (London, UK)
Mariya Soskova (Sofia, Bulgaria)
Anush Tserunyan (Urbana, IL, USA)

Honorary Editor
Günter Asser †, Greifswald