Definability of Frobenius orbits and a result on rational distance sets
scientific article; zbMATH DE number 6677799
scientific article