Personal Webpage
Personal Webpage
Logic,
Logic,
Mathematics,
Mathematics,
Philosophy.
Philosophy.
Latest News
Latest News
October 17th - the paper How to make (mathematical) assertions with directives (with Luca San Mauro and Laura Caponetto) Synthese is now online.
April 18th - the paper What model companionship can say about the Continuum Problem (with Matteo Viale) has been accepted for publication in the Review of Symbolic Logic.