Almost orthogonal regular types (Q911580): Difference between revisions

Let p, q be non-orthogonal regular types over B, stationary over 0, in a stable theory. The author shows that at most three parameters from p are needed to witness the non-orthogonality with \(q^{(\omega)}\). For the cases of two or three parameters it is proved that there is a regular type \(\bar p^ a{\underline \square} p\) which has the structure of an affine or projective line (depending on the number of parameters) over an \(\infty\)-definable algebraically closed field F (depending on g) and it has no structure above what is thus induced from F. Some application to a classification of simple superstable groups is given.