Nov 22, 2024 The final chapter of this course on secretly-categorical set theory. Axiomatic Set Theory 9: The Axiom of Choice Nov 15, 2024 The penultimate week of this axiomatic set theory course, ...

Hello [email protected]. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the ...

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

Previously: Part 8. Next: Part 10. It’s the penultimate week of the course, and up until now we’ve abstained from using the axiom of choice. But this week we gorged on it. The section I most enjoyed ...

Previously: Part 6. Next: Part 8. As the course continues, the axioms fade into the background. They rarely get mentioned these days. Much more often, the facts we’re leaning on are theorems that were ...

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

Thurston gave a concrete procedure to construct triangulations of the 2-sphere where 5 or 6 triangles meet at each vertex. How can you get the icosahedron using this procedure? Gerard Westendorp has a ...

every family of well ordered sets has a least member — informally, “the well ordered sets are well ordered”; ...

for all infinite sets X X and Y Y. Proving this required most of the concepts and results from the second half of the course: well ordered sets, the Cantor–Bernstein theorem, the Hartogs theorem, Zorn ...

Nov 3, 2024 23:22 By the way, when I replied to Paolo that some of my students have asked me about equality, what I ...