Arithmetic jet spaces

We extend Borger’s construction of algebraic jet spaces to allow for an arbitrary prolongation sequence, clarify the relation between Borger’s and Buium’s jet spaces and compare them in the extended sense. As a result, we strengthen a result of Buium on the relation between Greenberg’s transform and the special fiber of jet spaces, including the ramified case.