I was wandering if there was a book, thesis or some notes where Shelah's argument for
- $\mathtt{ZF}+\mathtt{DC}+$"All sets of reals are Lebesgue measurable" is equiconsistent with $\mathtt{ZFC} + \exists \kappa$ inaccessible
- $\mathtt{ZF}+\mathtt{DC}+$"All sets of reals have the Baire property" is equiconsistent with $\mathtt{ZFC}$
contained in Can you take Solovay's inaccessible away? is explained in a newer and/or "more digestible" way. Is there?
Thanks!