Prefer a chat interface with context about you and your work?
A proof of the valuation property and preparation theorem
The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded o-minimal theory $T$. The valuation property was conjectured by van den Dries, and proved for the polynomially bounded case by van