Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 75

Preprint Number 75

Previous Next Preprint server

75. Rahim Moosa and Anand Pillay
On canonical bases and internality criteria
E-mail: ,

Submission date: 28 May 2007


Abstract. A criterion is given for a strong type in a finite rank stable theory T to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for a compact complex analytic space to be "algebraic" (namely Moishezon). The canonical base property for a stable theory states that the type of the canonical base of a stationary type over a realisation is almost internal to the minimal types of the theory. It is conjectured that every finite rank stable theory has the canonical base property. It is shown here, that in a theory with the canonical base property, if p is a stationary type for which there exists a family of types q_b , each internal to a non-locally modular minimal type r, and such that any pair of independent realisations of p are "connected" by the q_b's, then p is almost internal to r.

Full text: pdf, dvi, ps.

Last updated: May 29 2007 13:28 Please send your corrections to: