TY  - RPRT
TI  - Hanf Number for Scott Sentences of Computable Structures
AU  - Sergey Goncharov
AU  - Julia Knight
AU  - Ioannis Souldatos
PY  - 2016
UR  - https://arxiv.org/abs/1602.01156
ID  - 1602.01156
ER  -