The uncountable cofinality of the automorphism group of the countable universal distributive lattice

From MaRDI portal
Publication:3099654