Alternative Set Theory. - Petr Vopenka; Katerina Trlifajová (Encyclopedia of Optimization, 2009)