In the book "handbook of set theory", in the chapter "the covering lemma", definition 3.24, Mitchell defines what is mouse.

However he did not give any definition of $\mathcal{U}_\gamma$ and $\mathcal{U}\restriction \gamma$, before he uses them. What is his definition regarding these notations?

9more comments