Abstract

In this thesis we give a detailed proof of the model completeness of two expansions of the real ordered field, specifically the expansion by Pfaffian chains of functions and the expansion by the exponential function. The latter result is also known as Wilkie's Theorem and both of the proofs are
... read more