nLab
supercompact cardinal (history)

December 22, 2011

October 29, 2010