Talks

2017

  • Seminar talks on sheaves and schemes – notes (part one and two) & notes (part three)
    Three one hour blackboard talks on sheaves and schemes for a handful of Maths PhDs at Bristol uni.
  • Two Minute Talk on the Skolem paradox – slides
    Quick talk for all the Maths PhDs at Bristol uni.
  • Reading seminar talks on the Core Model Induction
    Multiple two hour blackboard talks on the core model induction for the set theorists at Bristol uni.

2016

  • Seminar talk on inner model theory – slides
    A one hour talk for ~15 pure Maths PhDs at Bristol uni.
  • Reading seminar talk on \bf\Sigma^2_1-absoluteness via genericity iterations
    A two hour blackboard talk for the set theorists at Bristol uni.
  • Seminar talk on determinacy – slides
    A one hour talk for about ten philosophers (faculty, PhD- and MA students).
  • Reading seminar talk on iteration trees
    A one hour blackboard talk for the set theorists at Bristol uni.
  • MSc defense on inner model theory – slides
    The defense took 45 minutes, about 50 BSc/MSc/PhD students attended (and examiners).
  • General audience talk on Gödel’s incompleteness theorems – slides
    This was an invited one hour talk arranged by the Danish Youth Association of Science, about 80 high school students attended.
  • Seminar talk on epistemic logic
    A one hour blackboard talk for about five MSc students.
  • Seminar talk on non-standard analysis
    A two hour blackboard talk for about five MSc students.
  • Student colloquium talk on truth – slides
    A two hour talk in a philosophical/logical setting, for about 50 Bsc/MSc students.

2015

  • Seminar talk on model categories
    A one hour blackboard talk for about 15 PhD students and the supervisor for a reading course I did on model categories, where this acted as the assessment.
  • Seminar talk on determinacy
    A two hour blackboard talk on my determinacy project for about ten MSc/PhD students.
  • Seminar talk on simplicial sets
    A two hour blackboard talk for about five MSc students.

2014

  • Student colloquium on homotopy type theory – slides (part one) & slides (part two)
    A two hour talk joint with a fellow MSc student, for about 30 BSc/MSc/PhD students.
  • Seminar talk on covering spaces
    A two hour blackboard talk for about five MSc students.
  • BSc thesis defense on Gödel’s constructible universe – slides
    The defense took half an hour, about 30 BSc/MSc students attended (and examiners).
  • Seminar talk on Gödel’s constructible universe
    A one hour talk for about five BSc/MSc/PhD students.

2013

  • Student colloquium on model theory – slides
    A one hour talk for about 30 BSc/MSc students.