"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

#MathQuote #SetTheory #mice #InnerModels

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(𝑄ᴹᴹ)

#mathquote #SetTheory #handwaving