Title: Recent work on the principles of mathematics