Universality and embeddability amongst the models of set theory, CTFM 2015, Tokyo, Japan
This will be a talk for the Computability Theory and Foundations of Mathematics conference at the Tokyo Institute of Technology, September 7-11, 2015. The conference is held in celebration of Prof…
