Model completeness revisited (Model theoretic aspects of the notion of independence and dimension)
Masanori Itai · Institutional Repositories DataBase (IRDB) · 2018
We review two theorems concerning the model completeness; the first one is the real numbers with the exponentiation and the second one is differential fields admitting quantiher elimination without being differentially closed.