The Daily Bulletin Archive

Daniel Cunningham, professor of mathematics, recently published his paper "A Diamond-Plus Principle Consistent with AD'' in the Archive for Mathematical Logic (AML). The AML is a refereed journal that publishes research papers on mathematical logic and set theory. Cunningham's set theoretic paper introduces a combinatorial principle that generalizes a principle that he introduced previously (2017) in the Notre Dame Journal for Formal Logic. Using a forcing argument, Cunningham proves in the AML paper that his new principle holds in L(R) and in John Steel's (UC Berkeley) inner model K(R). Thus, it follows that Cunningham's generalized principle is consistent with AD (axiom of determinacy).