A formulation of difference Galois theory
  As a simple corollary of a highly general framework for differential and difference Galois theory introduced by Y. Andre, we formulate a version of the Galois correspondence that applies over a difference field with arbitrary field of constants. 
Kiran S. Kedlaya