Abstract

Given a Mahlo cardinal $\kappa$ and a regular $\epsilon$ such that $\omega_1 < \epsilon < \kappa$ we show that $\diamond_\kappa $ holds in $\mathbf{V}$ provided that there are only non-stationarily many $\beta < \kappa$, with $o \geq \epsilon$ in $\mathbf{K}$.