Mid-Atlantic Mathematical Logic Seminar, 13–15 January. The Reasoner, v. 6, n. 2, 1 Feb.2012.