Submission date: 30 December 2011.

Abstract:

This paper studies the CBP, a model-theoretic property first discovered by Pillay and Ziegler. We first show a general decomposition result of types of canonical bases, which one can think of as a sort of primary decomposition. This decomposition is then used to show that existentially closed difference fields of any characteristic have the CBP. We also derive consequences of the CBP, and use these results for applications to differential and difference varieties, and algebraic dynamics.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1201.0134: pdf, ps.