Mathematics
Since October 2009, I'm working on a Ph.D in Mathematical Logic at the University of Leeds.
My supervisors are S. Barry Cooper and Andy Lewis.
Computability theory and algorithmic randomness
The topic of my thesis will be computability theory, and more specifically algorithmic randomness.
I've written a quick introduction to algorithmic randomness for this website.
Contact information
Academic mail can be sent to:
Stijn Vermeeren
Postgraduate student
School of Mathematics
University of Leeds
Leeds
LS2 9JT
U.K.
My @leeds.ac.uk university e-mail address is mmsv .
You can also contact me through this website.
Papers and other mathematical downloads:
-
A new total injection betting strategy (September 2011) is my paper in which I give a direct construction of a partial computably random sequence which is not total injection random.
I presented an earlier version of the paper at the conference CiE 2011 in Sofia, Bulgaria.
-
The Angel Problem was the subject of a couple of talks that I gave. Here are the slides:
-
Problem 10 of the 2010 LIMO mathematics competition ask you to prove that certain matrices are nilpotent. The model solutions use the Cayley-Hamilton theorem. I give a purely combinatorial solution:
-
Sequences and nets in topology is an expository article in which I show how sequences might fail to characterize topological properties such as openness, continuity and compactness correctly. Moreover, I define nets and show how they succeed where sequences fail.
-
In Embeddings into the countable atomless Boolean algebra I prove that 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.
-
Realizability Toposes is the essay I wrote as part of Certificate of Advanced Study in Mathematics, commonly known as Part III, at the University of Cambridge in 2009.