On Levy's downcrossing theorem and various extensions