And the course feels like it’s mostly converging with any other set theory course, just with the special feature that everything remains resolutely isomorphism-invariant. This week we constructed N ...

Add a description, image, and links to the exponentiation-by-squaring topic page so that developers can more easily learn about it.