= Wilkie's theorem
{wiki=Wilkie's_theorem}
Wilkie's theorem refers to a result in model theory related to the structures of o-minimal theories. In particular, it concerns the relationship between definable sets in o-minimal structures and the behavior of certain definable functions. O-minimal structures have been employed to establish results about the geometry of definable sets and the elementary properties of functions defined on them. The classic form of Wilkie's theorem addresses properties of functions that are definable in an o-minimal structure.
Back to article page