There are $\aleph_1$-like rigid models of $PA$. Two different constructions are given in <cite> kossakschmerl1991:minimal </cite> and <cite> koskot1992:game </cite>
−
Problem: Are there rigid recursively saturated $M\models PA$ such that ${\rm cf}(M)=\aleph_0$?