Oberseminar Geometrie, Topologie und Gruppentheorie: Fares Maalouf ( Humboldt-Universität zu Berlin): Linear geometric C-minimal structures
Thursday, 27.01.2011 10:00 im Raum SR 1d
I will define Linear geometric C-minimal structures, and show that in any such structure there is a definable C-minimal group.
The first step is to show that any sufficiently saturated such a structure defines a type-definable C-group. Then we show that any such type-definable group, contains in fact a subgroup which is definable in the big structure. And this gives us the result.
Angelegt am 13.12.2010 von Gerlinde Steinhoff
Geändert am 18.01.2011 von Gerlinde Steinhoff
[Edit | Vorlage]