Chromatic homotopy theory in HF_p based synthetic spectra