A note on canonical bases and one-based types in supersimple theories
Logic
2012-10-24 v4
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.
Keywords
Cite
@article{arxiv.1201.0134,
title = {A note on canonical bases and one-based types in supersimple theories},
author = {Zoé Chatzidakis},
journal= {arXiv preprint arXiv:1201.0134},
year = {2012}
}
Comments
Final version, to appear