Pages that link to "Item:Q1295415"

The following pages link to A general model completeness result for expansions of the real ordered field (Q1295415):

Displaying 3 items.

• An effective version of Wilkie's theorem of the complement and some effective o-minimality results. (Q1428036) (← links)
• Tame semiflows for piecewise linear vector fields (Q1864228) (← links)
• Theorems of the Complement (Q4898995) (← links)