jdh.hamkins.org
A new proof of the Barwise extension theorem, without infinitary logic
I have found a new proof of the Barwise extension theorem, that wonderful yet quirky result of classical admissible set theory, which says that every countable model of set theory can be extended t…