TY - RPRT TI - Categoricity of the two sorted j-function AU - Adam Harris PY - 2013 UR - https://arxiv.org/abs/1304.4787 ID - 1304.4787 ER -