Blog Archives

Topic Archive: $\omega_1$-like models

Set theory seminarFriday, November 15, 201310:00 am

Victoria Gitman

A Jónsson $\omega_1$-like model of set theory

The City University of New York

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.