The Bell–Ghioca–Tucker conjecture for intersections of two étale orbits
Bell–Ghioca–Tucker conjecture. The set Sf,g(P,Q)S_{f,g}(P,Q)Sf,g(P,Q) is a union of finitely many sets of the form