The descending chain condition for groups definable in o- minimal structures
Complexo Interdisciplinar, Sala A2-25
PANTELIS ELEFTHERIOU (CMAF - Universidade de Lisboa)
Abstract:
We prove that if G is a group definable in an o-minimal expansion of an ordered group, then there is no infinite proper descending chain of definable subgroups of G.