Transversality of smooth definable maps in O-minimal structures

Nhan Nguyen, Saurabh Trivedi

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smo…