Silver machines were introduced by Jack Silver to study some properties of the constructible universe *L* avoiding fine structure theory. I use a special machine — the Koepke-Richardson-Silver-machine — to prove the strong covering lemma.

To find out more about this, You can have a look at my Diplom thesis at the Mathematical Logic Group at the University of Bonn.

- English version (recommended): PDF (309 kbytes)
- German version: PDF (330 kbytes)

I work out the Friedman-Koepke Hyperfine Structure Theory and use it to construct first a gap-1-morass and then a gap-2-morass with perfect preservation.

- English version: PDF (257 kbytes)
- Invitation for the Defensio

If you are interested in TeX. I used pi.sty which uses ntheorem.sty for theorem-like environments (including end marks).

© Boris 'pi' Piwinger, May 26, 2004