Hanf number for Scott sentences of computable structures

The Hanf number for a set S of sentences in \(\mathcal {L}_{\omega _1,\omega }\) (or some other logic) is the least infinite cardinal \(\kappa \) such that for all \(\varphi \in S\), if \(\varphi \) has models in all infinite cardinalities less than \(\kappa \), then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \(\beth _{\omega _1^{CK}}\). The same argument proves that \(\beth _{\omega _1^{CK}}\) is the Hanf number for Scott sentences of hyperarithmetical structures.