The Daily Bulletin Archive

Daniel Cunningham, professor of mathematics, was notified that his paper "A Diamond Principle Consistent with AD" has been accepted for publication in the Notre Dame Journal of Formal Logic. This refereed journal publishes research papers in all areas of logic and the foundations of mathematics, including set theory and mathematical logic. Cunningham's paper introduces a combinatorial principle that generalizes a principle due to Ronald Jensen (Humboldt University at Berlin). In the paper, it is shown that this new principle holds in John Steel's (UC Berkeley) inner model K(R). Thus, it follows that this diamond principle is consistent with the axiom of determinacy (AD). The paper is expected to appear in print by the end of the year.