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 .