A new class of philosophically-minded mathematician that I just learned from the logician Paul Levy: smallist.

CH is a statement of third-order arithmetic. It doesn’t quantify over the universe of sets. GCH, on the other hand, does. For smallists, who take a platonic view of PPN (powerset of powerset of the naturals) but not of the universe of sets, this is a big difference. (

I guess it means a mathematician who doesn’t necessarily want in their axiomatic system arbitrary powersets, rather just the few that are needed for ‘ordinary’ mathematics (say up to PPPN, which is plenty to deal with differential geometry, differential equations, functional analysis, number theory, algebraic geometry over number fields or rings of integers therein etc). I think he just invented the word 🙂 but I like it. For a categorically-minded person like me, this means I could work in a pretopos with just a few powersets posited.

(Originally posted to Google+ on 11 November 2016)

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.