Coverings by open cells
We prove that in a semi-bounded o-minimal expansion of an ordered group every non-empty open definable set is a finite union of open cells.
Source author record
Pantelis Eleftheriou
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
4works
1topics
4close collaborators
Published work
4 publications
preprint2012arXiv
Definable groups as homomorphic images of semilinear and field-definable groups
We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their locally definable covers. As a corollary, we prove the Compact Domination Conjecture in o-minimal expansions of ordered groups.
Open access
preprint2012arXiv
Definable quotients of locally definable groups
We study locally definable abelian groups $\CU$ in various settings and examine conditions under which the quotient of $\CU$ by a discrete subgroup might be definable. This turns out to be related to the existence of the type-definable subgroup $\CU^{00}$ and to the divisibility of $\CU$.
Open access
preprint2011arXiv
Interpretable groups are definable
We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.