Logic Blog 2018 - Andre Nies (2019)