An Isaac Newton Institute Workshop

An Introduction to Recent Applications of Model Theory

An Euler characteristic for Real Closed Valued Fields

Author: Timothy Mellor (Uni. Regensburg)


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