I trained neural nets on large cardinal axioms

I spent the past few months training a few neural nets on large cardinal axioms and related results. I've put the notes in the Papers page.

More seriously, of course, I gave a course on large cardinal axioms during the spring semester. It wasn't meant to be particularly deep, and I am sure that other resources will do the material justice, but I figured it's worth putting this up there.

If nothing else, it includes some developments that are relatively fresh (like the Bagaria–Goldberg characterisation of extendible cardinals using supercompact measures). The final lecture was a brief overview of the Aguilera, Bagaria, and Lücke paper on ultraexacting cardinals.

You can find the notes right here if you want to save yourself a click. If you have any comments, found any typos, or anything else on the matter, you know where to find my email address.