Rineke Verbrugge was invited to give the prestigious 2023 Lindström Lectures. The lecture, entitled ‘Aspects of provability and interpretability’ is held at University of Gothenborg, Sweden in May 2023.