  We present a model where \omega_1 is inaccessible by reals, Silver
measurability holds for all sets but Miller and Lebesgue measurability fail for
some sets. This contributes to a line of research started by Shelah in the
1980s and more recently continued by Schrittesser and Friedman, regarding the
separation of different notions of regularity properties of the real line.
