Derivation of the formalism for neutrino matter oscillations from the neutrino relativistic field equations

We derive the standard formalism of Mikheyev, Smirnov, and Wolfenstein for the oscillation of neutrinos in matter taking into account the Lorentz and second-quantized structure of the neutrino fields. We consider neutrinos with Dirac or Majorana masses.