The classification of countable models of set theory. - John D. Clemens; Samuel Coskey; Samuel Dworetzky (Math. Log. Q., 2020)