"Weakening the Comprehension Principle in Frege's Grundgesetze"
Abstract: "As is well known, the formal system of Frege's Grundgesetze der Arithmetik is inconsistent, allowing the derivation of Russell's antinomy. It is the interplay between Frege's basic law V and second-order comprehension, implemented in Grundgesetze by means of an instantiation rule, that generates the contradiction. One may thus try to arrive at consistent subsystems by weakening either one, or both, of these principles. I shall give an overview of consistency results concerning fragments of Frege's theory that arise by restricting the comprehension schema, presenting some known and some new results due to T. Parsons, R. Heck, F. Ferreira, and myself."
"Shelah's Four Quantifier Theorem." M.A. Thesis in Mathematics, University of California, Berkeley, 1992.
"Classical and Intuitionistic Models of Arithmetic." Notre Dame Journal of Formal Logic (1996), 37(3):452-461.
"Semantical Investigations in Intuitionistic First-order Arithmetic." PhD Dissertation, Math.-Nat. Fakultät der Universität Munster, 1996.
"Aspekte der Frege-Hilbert-Korrespondenz." History and Philosophy of Logic (1997), 18(4):201-209.
"Fragments of HA Based on Sigma(1)-induction." Archive for Mathematical Logic (December 1997), 37(1):37-49.
"Constructing Kripke Models of Certain Fragments of Heyting's Arithemtic." Publications de l'Institut Mathématique [N.S.] (1998), 63(77):1-8.
"Consistent Fragments of Grundgesetze and the Existence of Non-Logical Objects." Synthese (December 1999), 121(3):309-328.
Kritsche Unterschungen zur Russellschen Kennzeichnungstheorie. M.A. Thesis, Fakultät für Philosophie, Pädagogik und Publizistik, Ruhr-Universität Bochum, 1999.
(with Hans-Christoph Schmidt am Busch.) "Auf der Suche nach Freges Nachlass." In Gottfried Gabriel and Uwe Dathe, eds., Gottlob Frege: Werk und Wirkung: mit den unveröffentlichten Vorschlágen für ein Wahlgesetz von Gottlob Frege. Paderborn: Mentis, 2000.