You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Follow Andy Kiersz Every time Andy publishes a story, you’ll get an alert straight to your inbox!

meaning the set of all strictly negative real numbers. Often you’ll see a \(|\) instead of a : in this ‘set builder notation’, it means the same thing. One of the amazing things about set theory is ...

I’m teaching Edinburgh’s undergraduate Axiomatic Set Theory course, and the axioms we’re using are Lawvere’s Elementary Theory of the Category of Sets — with the twist that everything’s going to be ...