A first-order structure of cardinality $\kappa$ is said to be Jónsson if it has no proper elementary substructure of cardinality $\kappa$. The speaker will prove a theorem of Julia Knight that there is a Jónsson $\omega_1$-like model of set theory, using a construction of Ali Enayat.