I'm trying to prove that FO (U) is compact, u being the quantifier "there exist uncountably many". any ideas?
Follow Math Help Forum on Facebook and Google+
View Tag Cloud