K. NabardiF. IzadiIranian Mathematical Society (IMS)
F> 0 for all irreducible curves F C S.As mentioned above, the reader may at this point wish to proceeddirectly to thenext section,where we will apply the Height Machine tostudy the specialization map on elliptic surfaces.The remainder of thissection is devoted to proving Theorems 10.1-10...