Mid-Atlantic Mathematical Logic Seminar, 13–15 January. tr 2012, 6 (2).