Seminários de Lógica Matemática

22 de Janeiro 2009, 18h00

Pfaffian functions in definably complete Baire structures (join work with A. Fornasiero)
Complexo Interdisciplinar, Sala B3-01

Tamara Servi (CMAF - UL)

Abstract:

We prove that a definably complete Baire expansion of a field by Pfaffian functions is o-minimal. More generally, we prove the o-minimality of the Pfaffian closure of an o-minimal structure inside a definably complete Baire structure.

| back