Dr. Stefan Bold

Stefan Bold was a PhD student of Prof. Dr. Benedikt Löwe. He was a Wissenschaftliche Hilfskraft and Wissenschaftlicher Angestellter at the RhFWU Bonn from 2002 to 2006 (during which period he was visiting the University of North Texas and the Universiteit van Amsterdam) and a Docent 4 at the Universiteit van Amsterdam in 2006. He is currently working at the Universitäts- und Stadtbibliothek Köln.

In the months of July and August 2008, he was working at the Universität Hamburg as a member of the Organizing Committee of ESSLLI 2008.

He has successfully defende his PhD thesis entitled "Cardinals as Ultrapowers. A canonical measure analysis under the axiom of determinacy" on 5 November 2009. His thesis is published online at the ULB Bonn and in the ILLC Publications as DS-2009-13.

Bold at work
Affiliation Universitäts- und Stadtbibliothek Köln
Bonn International Graduate School (BIGS)
Research - DFG/NWO-Projekt Determiniertheitsaxiome, Infinitäre Kombinatorik und ihre Wechselwirkungen
Publications - Stefan Bold, AD und Superkompaktheit, Diplomarbeit Rheinische Friedrich-Wilhelms-Universität Bonn April 2002.
- Stefan Bold, Benedikt Löwe, A Simple Inductive Measure Analysis for Cardinals under the Axiom of Determinacy, in: Su Gao, Steve Jackson, Yi Zhang (eds.), Advances in Logic, The North Texas Logic Conference, October 8-10, 2004, Providence RI 2007 [Contemporary Mathematics 425], p.23-41
- Stefan Bold, Cardinals as Ultrapowers. A canonical measure analysis under the axiom of determinacy, Dissertation Rheinische Friedrich-Wilhelms-Universität Bonn November 2009. ILLC Publications DS-2009-13.
Preprints and Slides -Stefan Bold, AD and descriptions for cardinals below alephε0, contributed talk at the Logic Colloquium 2004.
- Stefan Bold, Sets and Games, talk at the Logic Tea 2004 of the ILLC.
- Stefan Bold, A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy, contributed talk at the Colloquium Logicum 2004.
Teaching - SS 2002: Zuständig für den Übungsbetrieb der Vorlesung "Einführung in die Mathematische Logik"
- WS 2002/2003: Zuständig für den Übungsbetrieb der Vorlesung "Mengenlehre I"
- SS 2003: Zuständig für den Übungsbetrieb der Vorlesung "Mengenlehre II"
- August 2003 to April 2004: Teaching Fellow at the Department of Mathematics of the University of North Texas
- SS 2004: Zuständig für den Übungsbetrieb der Vorlesung "Einführung in die Mathematische Logik"
- 2004/2005; 1st Semester: Teaching Assistant for "Core Logic" at the ILLC
- 2004/2005; 1st Semester: Teaching Assistant for "Caput Logic, Language and Information" at the ILLC
- 2004/2005; 1st Semester: Teaching Assistant for "Recursion Theory" at the ILLC
- 2004/2005; 2nd Semester: Teaching Assistant for "Advanced Topics in Recursion Theory" at the ILLC
- 2005/2006; 1st Semester: Teaching Assistant for "Core Logic" at the ILLC
- 2005/2006; 2nd Semester: Teaching Assistant for "Basics of Category Theory and Categorical Logic" at the ILLC
- 2006/2007; 1st Semester: Teaching Assistant for "Core Logic" at the ILLC
Last update : 12 November 2009