Suppose we are given an arithmetic surface, $X\to \text{Spec}\mathbb{Z}[1/N]$ smooth and quasi-projective, and a finite set of closed points all in different vertical fibers.
Can we count the number horizontal sections passing through those points?
Could you direct me to the relevant literature?
Thank you in advance.