# Talks

2017

• Contributed talk on Jónsson cardinals – blog postnotes slides
30 minute talk at the British Logic Colloquium at the University of Sussex.
• 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.