Model completeness and relative decidability Jennifer ChubbRussell MillerReed Solomon OriginalPaper 03 January 2021 Pages: 721 - 735
Forcing the Mapping Reflection Principle by finite approximations Tadatoshi MiyamotoTeruyuki Yorioka OriginalPaper 06 January 2021 Pages: 737 - 748
Interpreting the compositional truth predicate in models of arithmetic Cezary Cieśliński OriginalPaper Open access 03 February 2021 Pages: 749 - 770
Infinite decreasing chains in the Mitchell order Omer Ben-NeriaSandra Müller OriginalPaper Open access 04 March 2021 Pages: 771 - 781