The workshop aims to understand the work of Macintyre and Wilkie on the real exponential field, and the more recent work of Macintyre on Weierstrass functions. The relation with the constructive results of Gabrielov and Vorobjov would also be investigated. The hope is that after careful study of these papers, we would be able to prove further constructive model completeness results for theories related to those above. If this goes to plan, we would then combine the constructive model completeness with recent work around Schanuel?s conjecture, with the aim of proving unconditional decidability results for certain analytic expansions of the real field.

Tamara Servi, Dan Miller, Andrei Gabrielov