Russell-style universes