Pages that link to "Item:Q1295415"
From MaRDI portal
The following pages link to A general model completeness result for expansions of the real ordered field (Q1295415):
Displaying 12 items.
- A note on \(\aleph_\alpha\)-saturated o-minimal expansions of real closed fields (Q282122) (← links)
- Remarks on the Dedekind completion of a nonstandard model of the reals (Q761453) (← links)
- An o-minimal structure which does not admit \(C^\infty\) cellular decomposition (Q1013022) (← links)
- Model completeness results for elliptic and abelian functions (Q1182466) (← links)
- 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)
- Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure (Q2238127) (← links)
- A generic condition implying o-minimality for restricted \(C^\infty\)-functions (Q2430112) (← links)
- Model completeness in o-minimal polynomially bounded structures (Q2473015) (← links)
- Theorems of the Complement (Q4898995) (← links)
- Model Completeness for the Real Field with the Weierstrass ℘ Function (Q5228175) (← links)
- Computer Science Logic (Q5292666) (← links)
