2018
Dec
26

# Logic Seminar - Antongiulio Fornasiero

11:00am to 1:00pm

## Location:

Ross 63

**Generic derivations on o-minimal structures**

**Antongiulio Fornasiero**

A derivation on a field K is a map d from K to K such that d(x + y) = d(x) + d(y) and d(x y) = x d(y) + d(x) y.

Given an o-minimal structure M in a language L, we introduce the notion L-derivation, i.e derivation compatible with L. For example, if M is the field of reals with exponentiation, then we further require that the derivation d satisfies d(exp x) = exp(x) d(x).