A free pseudospace (Q4953230)

Hrushovski's celebrated new strongly minimal set is \(CM\)-trivial, and hence lies in a low level in the tentative hierarchy of geometric properties of forking lately proposed by Anand Pillay. Actually, no infinite stable field is \(CM\)-trivial. So it seems worthwhile to look for non-\(CM\)-trivial theories which are of finite Morley rank (or even strongly minimal) and do not interpret any field. This paper is a first contribution to this program. In fact, it provides an example of a non-\(CM\)-trivial \(\omega\)-stable theory of \textsl{infinite} Morley rank in which no infinite field can be interpreted. The construction is related to some former ideas of Hrushovski and Srour, and uses a 3-dimensional analogue of the free pseudoplane. The authors give a set \(\Sigma\) of axioms for this free pseudospace, and provide a sort of standard model showing that \(\Sigma\) is consistent. The completeness of \(\Sigma\) is established as well. Then it is proved that \(\Sigma\) is \(\omega\)-stable, but its Morley rank is infinite (actually \(\omega^2\)). An analysis of non-orthogonality classes of regular types shows that \(\Sigma\) is trivial; no infinite field can be intepreted inside \(\Sigma\). At last, it is proved that \(\Sigma\) is not \(CM\)-trivial.