Work In Progress and Under Review

Drafts available on request. I've slightly changed some titles for better anonymity during peer review.



See here for errata and (soon) a computer proof checker in Lean(!), for my recent book A Logical Foundation for Potentialist Set Theory .