A non-desarguesian projective plane of analytic origin
Abstract
avoiding a direct use of Hrushovski's construction. Instead we make use of the field of complex numbers with a holomorphic function (Liouville function) which is an omega-stable structure by results of A.Wilkie and P.Koiran. We first find a pseudo-plane interpretable in the above analytic structure and then "collapse" the pseudo-plane to a projective plane applying a modification of Hrushovski's mu-function.