Frei, C.; Widmer, M. Schanuel’s Theorem for Heights Defined via Extension Fields. Annali Scienze 2016, 15, 355-398.