Wouter Pieter Stekelenburg
Ph. D. at the Mathematical Institute of Utrecht University
This website will be down soon. My new website can be found at www.woupiestek.nl
w.p.stekelenburg "at" gmail.com
Please let me know if you run into any (language) errors in the digital version of my thesis.
I am part of the Logic group,
At January 14th 2013 I succesfully defended my thesis on realizability categories.
My advisor of my thesis research was Ieke Moerdijk and my coadvisor was Jaap van Oosten.
A note on Extensional PERs
Regular Functors and Relative Realizability Categories (preprint)
Selection of Slides
An overview of the most important parts of my PhD.thesis
From Relative to Classical Realizability
This links relative and classical realizability.
Realizability Categories and Regular Functors
Realizability Categories and Regular Functors (longer version)
These present early results from my thesis research.
A Counter Model to the Continuum Hypothesis
(aio colloquium version)
A Counter Model to the Continuum
Hypothesis (topos theory seminar version)
These demonstrate a model for analysis in which the continuum hypothesis fails. It is based on Cohen's proof.
a list of all PhD. candidates in Utrecht.
I have been a member of the
Utrechts Studenten Koor en Orkest (Utrecht's Student Choir and Orchestra) and the Utrechtse Studenten Schaats Vereniging Softijs (Utrecht's Student Skating Club Soft Ice) for almost all of my years as student and Ph.D. candidate at Utrecht University.
My mother's website is www.gemmart.nl.
Some of my work as amateur composer is at my other website: Wouters webstek (in Dutch).