God dammit, I've already found errors in the thesis. The world is not fair.
p.16, minor problem with typography, but in both of the sets used to exemplify the curly L ("language of") notation, there should be spacing on either side of the vertical bar.
p.17, in the definition of Ω notation, the first occurrence of n should be n0.
p.38, notation 2.19 defines the transitive closure when it should define the reflexive-transitive closure. That is, A⇒*B includes A. As I can't get MathML to work, it's hard to explain exactly the correction, but either notation 2.18 should be redefined to allow an index of 0 and notation 2.19 redefined to start k at 0, or else notation 2.19 should be defined as being the current union unioned with the first operand. Using LaTeX's notation (forgiveness, please), notation 2.19 should read: Equivalently, $A\Rightarrow^*B=A\cup(\bigcup\limits_{k=1}^{\inf}A\Rightarrow^kB)$. Hopefully that is clear to someone.
p.40, at the top of the proof for lemma 2.22, "Sigma" should read "Σ". Boo, another typographical error :(
p.58, theorem 2.49 neglects the constraint that x must not be complementary to U. I.e., x must be one of (dotted or undotted) C or U. Ya, I know, an error in one of the major theorems of the thesis, not good. Thanks to Franzi for finding this.
p.64, several (perhaps infinite) right-to-left "passes" may not be performed should read several (perhaps infinite) right-to-left "passes" may need to be performed.