Almost orthogonal regular types

From MaRDI portal
Publication:911580





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.




Cited in
(31)








This page was built for publication: Almost orthogonal regular types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911580)