Illinois Journal of Mathematics
- Illinois J. Math.
- Volume 52, Number 3 (2008), 901-917.
On canonical bases and internality criteria
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 nonlocally 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$.
Illinois J. Math., Volume 52, Number 3 (2008), 901-917.
First available in Project Euclid: 1 October 2009
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03C45: Classification theory, stability and related concepts [See also 03C48] 03C98: Applications of model theory [See also 03C60]
Secondary: 32J27: Compact Kähler manifolds: generalizations, classification
Moosa, Rahim; Pillay, Anand. On canonical bases and internality criteria. Illinois J. Math. 52 (2008), no. 3, 901--917. doi:10.1215/ijm/1254403721. https://projecteuclid.org/euclid.ijm/1254403721