Seminar series
Date
Thu, 23 Oct 2008
Time
11:00 -
12:00
Location
SR1
Speaker
Gareth Jones
Organisation
Manchester
I show that the expansion of the real field by a total Pfaffian chain is model complete in a language with symbols for the functions in the chain, the exponential and all real constants. In particular, the expansion of the reals by all total Pfaffian functions is model complete.