Tim Button on sets and functions

A very interesting new piece on the arXiv by Tim Button, on “The iterative conception of function and the iterative conception of set” — what’s to choose between a universe of sets and a universe of functions as a “foundation”? Technically inventive, conceptually challenging.

The post Tim Button on sets and functions appeared first on Logic Matters.