Matthias Aschenbrenner
Kurt Gödel Research Center for Mathematical
Logic
Fakultät für Mathematik,
Universität Wien
Email: matthias.aschenbrenner [at] univie.ac.at
Franz-Viktor Kuhlmann
Institute of Mathematics,
University of Szczecin,
ul. Wielkopolska 15, 70-451 Szczecin, Poland
Email: fvk [at] usz.edu.pl and fvk [at] math.usask.ca
Last update: December 17, 2025