A model of second-order arithmetic satisfying ${\rm AC}$ but not ${\rm DC}$

This is a talk at the MOPA Seminar, City University of New York, October 28 and November 4, 2020 (virtual).
Slides Video 1 Video 2

The abstract and slides can be found in this post.