I'm trying to prove that FO (U) is compact, u being the quantifier "there exist uncountably many". any ideas?