New Logic papers from https://nitter.cf/t.co/gg4TMq7eu9: logic, set theory, point-set topology, formal mathematics. Thank you to arXiv for use of its open access interoperability.