1. THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT;Journal of the Australian Mathematical Society;2019-10-30
2. LD-Algebras Beyond I0;Notre Dame Journal of Formal Logic;2019-08-01
3. Some aspects of the SD-world;Nonassociative Mathematics and its
Applications;2019
4. Laver and set theory;Archive for Mathematical Logic;2016-01-18
5. Laver’s results and low-dimensional topology;Archive for Mathematical Logic;2015-12-19