Definable subgroups of measure algebras

Abstract

We show that type-definable subgroups of measure algebras are definable.

Definability of groups in ℵ0-stable metric structures

“…In the present paper we give a direct proof of the fact that in an No-stable theory every type-definable group is definable, leaving open the question of the existence of definable groups in general stable theories. In the special case of the theory of probability algebras this has already been proved by Alexander Berenstein [Ber06].…”