Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

November 1, 2024

Axiomatic Set Theory 7: Number Systems

Posted by Tom Leinster

Previously: Part 6.

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 deduced from theorems that were deduced — at several removes — from the axioms. 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 \mathbb{N}, \mathbb{Z}, \mathbb{Q} and \mathbb{R}. This was the first time in the course that we used the natural numbers axiom, and that axiom did get cited explicitly (in the first few pages, anyway). We had to use the universal property of \mathbb{N} to define sums, products and powers in \mathbb{N}, and to prove the principle of induction.

I think my highlight of the week was a decategorification argument used to prove the classic laws of natural number arithmetic. Read on…

Posted at 3:08 PM UTC | Permalink | Followups (1)