The stone representation of an atomic complete Boolean algebra is Marczewski-Burstin representable

From MaRDI portal
Publication:2865609