What do countable transitive models of ZFC look like? According to Cantor's Attic (link):

Not all transitive models of ZFC have the $V_\kappa$ form, for if there is any transitive model of ZFC, then by the Löwenheim-Skolem theorem there is a countable such model, and these never have the form $V_\kappa$. 

Question: what do countable transitive models of ZFC look like?
It is an interesting fact that every transitive model of second-order ZFC equals $V_\kappa$ for some $\kappa$. See Asaf's answer here.
 A: That's a tough question to answer. If $M$ is a countable transitive model of $\sf ZFC$, and $M$ is a model of $V=L$ then $M=L_\beta$ for some countable $\beta$. But other than similar cases like that, it's very hard to say exactly how it looks like.
To illustrate the point, if we have some very large cardinals in the universe then we can take an elementary submodel of some $V_\kappa$ which contains a lot of large cardinal assumptions. The countable model will think that a lot of countable ordinals are very large cardinals, which makes the model quite large and complicated, but when considering a countable model of the same theory it's difficult to explain how it looks like.
Also over countable models we can prove that generic sets exist, therefore we can force over them and generate new countable transitive models which are very different. So we can force and add anything that can be added by forcing, or class forcing. 
All in all we can say these things:


*

*If $M$ is a countable transitive model of $\sf ZFC$ then ${\sf Ord}^M=\beta$ for some countable ordinal $\beta$, and $L_\beta$ is a countable transitive model of $\sf ZFC+\it V=L$.

*Every model of $\sf ZFC$, and even more so when the model is transitive, is the limit of its own von Neumann hierarchy.

