# Definability of groups in $aleph 0$-stable metric structures - Mathematics > Logic

Definability of groups in $aleph 0$-stable metric structures - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We prove that in a continuous $\aleph 0$-stable theory every type-definablegroup is definable. The two main ingredients in the proof are:\begin{enumerate} \item Results concerning Morley ranks i.e., Cantor-Bendixsonranks from \cite{BenYaacov:TopometricSpacesAndPerturbations}, allowing us toprove the theorem in case the metric is invariant under the group action; and\item Results concerning the existence of translation-invariant definablemetrics on type-definable groups and the extension of partial definable metricsto total ones. \end{enumerate}

Autor: Itaï Ben Yaacov ICJ

Fuente: https://arxiv.org/