Title: Mathematical Logic and Its Applications 2020