Coming from a set-theoretic perspective, I suppose I've got so used to Tarski's theorem that I consider it intuitive. As far as Tychonoff's theorem goes, you m

Coming from a set-theoretic perspective, I suppose I've got so used to Tarski's theorem that I consider it intuitive. As far as Tychonoff's theorem goes, you might find this paper interesting: http://matwbn.icm.edu.pl/ksiazki/fm/fm113/fm11313.pdf http://matwbn.icm.edu.pl/ksiazki/fm/fm113/fm11313.pdf