Bi-coloured fields on the complex numbers

From MaRDI portal





The author introduces two real analytic structures \((C,+,\times ,P)\) and \((C,+,\times ,G)\) (``bi-coloured fields), with \(P\) and \(G\) countable union of Jordan curves, dense in \(C,\) where \(P\) is a ``generic subset of \(C\) and \(G\) a multiplicative subgroup. The author constructs \(P,\) the set of ``black points, using the Liouville function introduced by Wilkie and prove that the structure satisfies Poizat's axioms (using Wilkie's theorem on the generalized Schanuel condition for the Liouville function but not needing Koiran's theorem which states that the corresponding structure is existentially closed). For \(G,\) the subgroup of ``green points, the author proves the generalized Schanuel condition assuming that the standard Schanuel conjecture is true. By a method very similar to the one for ``black points he also proves the existential closedness of the second structure, thus showing that the structures are indeed the same as Poizat's.











This page was built for publication: Bi-coloured fields on the complex numbers

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