Abstract
I shall consider a real closed valued field together with certain extensions. There are four classes of definable set: considering both structures, both as fields and valued fileds. The relationships between these classes allow one to prove the existance of an Euler characteristic for the (valued field) definable sets of the origional structure.
Related Links
- http://math.berkeley.edu/~scanlon/papers/blc29sep00ii.pdf - From the webpage of Thomas Scanlon describing the theory of Euler Characteristics