Ur Ya'ar"We have been studying mice in the abstract, but we have yet to produce any! In this section we shall describe a certain family of mouse constructions which we call, for obscure reasons, 𝐾ᶜ-constructions."
− Steel, An outline of inner model theory
Math quote of the day:
"In this section (waving our hands even harder) we extend the previous construction..."
- Uri Abraham and Saharon Shelah, A Δ²₂ well-order of the reals and incompactness of L(𝑄ᴹᴹ)