Upper and lower bounds for Alien Civilizations and Expansion Rate (2016). Unfinished-draft on what is nowadays called the Grabby Aliens hypothesis. 

Gödel incompleteness through Arithmetic Universes after A. Joyal with J. van Dijk

Mono-Anabelian Geometry  - Master thesis