The Daily Bulletin Archive

Daniel Cunningham's paper "A Diamond Principle Consistent with AD'' now appears in the latest issue of the Notre Dame Journal of Formal Logic 58 (3): 397–407. 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).