Research

I bomb atomically, Socrates' philosophies and hypotheses

Can't define how I be droppin' these mockeries

Logically perform armed robbery


Inspectah Deck, Triumph, Wu-Tang Clan

Me and Neil in Singapore (23 November 2024) showcasing the move known as "the jet-lagged Tim Button's thumbs", courtesy of Tim.

Published Articles

Theses

Work In Progress 

email me for drafts

Plural Level Theory

My aim is to produce a cumulative hierarchy of sets that conceives stages as plurals rather than sets. To do so, the project is grounded on the approach to plural logic championed by Øystein Linnebo, Salvatore Florio and Sam Roberts and on the Level Theory recently developed by Tim Button. Contact me if you'd like to discuss it!

The (Pre-)History of the Iterative Conception of Set

I'm writing three papers on the pre-history of the Iterative Conception of Set and of the Axiom of Foundation, hopefully to become a book. The first two papers are basically ready, they just need some adjustments. Contact me if you want to check them!

Axiomatizing the Weak Iterative Conception of Set

With Neil Barton we are trying to axiomatize the weak iterative conception of set in Gödel's constructibilist sense and in a countabilist sense. The model for the axiomatization is again Tim Button's Level Theory.

Is the Concept of Set Semantically Indeterminate?

With Pablo Dopico we are writing a paper arguing that set is a semantically indeterminate concept.