Ulrik Buchholtz

Ulrik Buchholtz Home - Talks & Topics

PhD Thesis

December 6, 2013 I finished my PhD thesis at Stanford University under the direction of Solomon Feferman. You can download my thesis here: Unfolding of Systems of Inductive Definitions. If you want a paper version, it can be acquired cheaply from amazon.com, amazon.co.uk, amazon.de, and other book sellers.


Various expository talks I've given:

  • Girard-Reynolds System F, December 3, 2009: slides
  • Geometric theorem proving, March 3, 2010: slides
  • Normalization of intuitionistic set theories, April 13, 2010: slides
  • Functional interpretation of arithmetical comprehension, May 27, 2010: slides
  • Transfinitely iterated fixpoint theories, October 26 and November 2, 2010: slides
  • Functional interpretation and inductive definitions, February 1, 2011: slides
  • Formalizing forcing arguments in subsystems of second-order arithmetic, April 26, 2011: slides
  • Univalent Foundations and the Structure Identity Principle, January 8, 2013: slides
  • The Unfolding of Systems of Inductive Definitions, October 31, 2013: slides


Current mathematical interests include:

  • Formal systems for Foundations of Mathematics
  • Homotopy Type Theory
  • Interactive Theorem Proving
  • Type-theoretical Foundations of Structural Mathematics

MSc Thesis

I wrote my MSc thesis at the University of Copenhagen. My advisor was Jesper Grodal, and you can download my thesis here: The Atiyah-Segal Completion Theorem.


My work is generously supported by the Traveling Fellowship for Mathematicians (Rejselegat for Matematikere), a trust managed by Kromann Reumert. Unofficial history (in Danish) here.


Creative Commons License Work by Ulrik Buchholtz licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.