A new proof of the Barwise extension theorem, and the universal finite sequence, Barcelona Set Theory Seminar, 28 October 2020 Posted on October 25, 2020 by Joel David Hamkins Reply