Seminários de Lógica Matemática

16 de Abril 2009, 18h00

Coverings by open cells
Complexo Interdisciplinar, Sala B3-01

PANTELIS ELEFTHERIOU (CMAF/University of Lisbon)

Abstract:

We prove that in a linear o-minimal expansion M of an ordered group, every definable open set is a finite union of open cells.The main ingredient of the proof is the following: Given any linear cell decomposition C of M^n, there is a refinement C' of C, such that the open star of every cell in C' is an open cell. This is joint work with Mário Edmundo and Luca Prelli.

| back