Talks

2018

  • Set theory learning seminar talks: Forcing
    Weekly seminar talks on the basics of forcing for new set theory PhDs at Bristol uni.
  • Mingle talk: Playing games until the end of time
    Fifteen minute talk at our welcome conference Mingle for new Maths PhDs at Bristol uni.
  • Contributed talk: Games and Ramsey-like cardinals – slides
    Talk at Set Theory Today, Kurt Gödel Research Center, Vienna.
  • Reading seminar talks: Normalizing iteration trees
    Several two hour blackboard talks in our Münster-Bristol reading seminar on John Steel’s “Normalizing iteration trees and comparing iteration strategies”.
  • Contributed talk: Game-theoretic Ramsey-like cardinals
    Talk at the first Girona conference on inner model theory, University of Girona.
  • Two Minute Talk: The universal definition – notes
    Quick talk for all the Maths PhDs at Bristol uni.
  • Pure Postgraduate Seminar talk: Why should we care about independence?notes
    A one hour talk for all the pure Maths PhDs at Bristol uni.

2017

  • Invited talk: Mapping the Ramsey-like cardinalsblog post
    Talk at the Logic Seminar at the University of Bonn.
  • Contributed talk: Jónsson cardinals — a deceptive large cardinal axiomblog postnotes slides
    Thirty minute talk at the British Logic Colloquium, University of Sussex.
  • Seminar talk: Sheaves and schemesnotes (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: The Skolem paradoxslides
    Quick talk for all the Maths PhDs at Bristol uni.
  • Reading seminar talks: The Core Model Induction
    Multiple two hour blackboard talks on the core model induction for the set theorists at Bristol uni.

2016

  • Pure Postgraduate Seminar talk: Inner model theoryslides
    A one hour talk for all the pure Maths PhDs at Bristol uni.
  • Reading seminar talk: \bf\Sigma^2_1-absoluteness via genericity iterations
    A two hour blackboard talk for the set theorists at Bristol uni.
  • Seminar talk: Determinacyslides
    A one hour talk for a dozen philosophers (staff, PhD- and MA students).
  • Reading seminar talk: Iteration trees
    A one hour blackboard talk for the set theorists at Bristol uni.
  • MSc defense: Inner model theoryslides
    A 45 minute thesis defense, for about 50 BSc/MSc/PhD students (and examiners).
  • Invited general audience talk: Incompleteness in mathematics – slides
    This was an invited one hour talk arranged by the Danish Youth Association of Science, about 80 high school students attended.
  • Seminar talk: Epistemic logic
    A one hour blackboard talk for a handful of MSc students.
  • Seminar talk: Non-standard analysis
    A two hour blackboard talk for a handful of MSc students.
  • Student colloquium talk: Truth slides
    A two hour talk in a philosophical/logical setting, for about 50 Bsc/MSc students.

2015

  • Seminar talk: Model categories – notes
    A one hour blackboard talk for about the ~15 algebraic topology PhD students and my adviser for a reading course I did on model categories, where this acted as the assessment.
  • Seminar talk: Determinacy
    A two hour blackboard talk on my determinacy project for a dozen MSc/PhD students.
  • Seminar talk: Simplicial sets
    A two hour blackboard talk for a handful of MSc students.

2014

  • Student colloquium: 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: Covering spaces
    A two hour blackboard talk for a handful of MSc students.
  • BSc thesis defense: Gödel’s constructible universeslides
    A half hour thesis defense, for about 30 BSc/MSc students (and examiners).
  • Seminar talk: A short introduction to Gödel’s constructible universe
    A one hour talk for a handful of BSc/MSc/PhD students.

2013

  • Student colloquium: Model theoryslides
    A one hour talk for about 30 BSc/MSc students.