Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 577

Preprint Number 577

Previous Next Preprint server

577. Alessandro Berarducci and Marcello Mamino
Groups definable in two orthogonal sorts

Submission date: 4 April 2013.


This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two structures is superstable of finite Lascar rank and the Lascar rank is definable, then G is an extension of a group internal to the (possibly) unstable sort by a definable subgroup internal to the stable sort. In the final part of the paper we show that if the unstable sort is an o-minimal expansion of the reals, then G has a natural Lie structure and the extension is a topological cover.

Mathematics Subject Classification: 03C45, 03C64, 22E99

Keywords and phrases: Definable groups, stability, o-minimality

Full text arXiv 1304.1380: pdf, ps.

Last updated: April 18 2013 07:57 Please send your corrections to: