Stijn Vermeeren

Mathematics

I'm doing a Ph.D in Mathematical Logic at the University of Leeds. I am supervised by S. Barry Cooper and Andy Lewis.

Some mathematical downloads:

• Embeddings into the countable atomless Boolean algebra
  Every countable distributive lattice embeds into the lattice of computable subsets of the natural numbers. This is a well known result, but a proof is nowhere to be found. I give a proof and explain some related mathematics.
• Can the Angel fly into infinity, or does the Devil eat its squares?
  Slides to my Pure Postgraduate seminar on the Angel Problem, given at the University of Leeds on Februari 4, 2010.
• Realizability Toposes
  My essay on realizability toposes, written as part of Certificate of Advanced Study in Mathematics, commonly known as Part III, at the University of Cambridge in 2009.