On the definability of the quantifier ''there exist uncountably many'' (Q1073785): Difference between revisions

\textit{G. Fuhrken} showed in ''Skolem-type normal forms for first-order languages with a generalized quantifier'' [Fundam. Math. 54, 291-302 (1964; Zbl 0166.260)] that a great part of the model theory of the logic with the quantifier ''there exist uncountably many'' is reducible to first order logic with an extra binary relation symbol. The present paper contains a reformulation of this reduction in ''syntactic'' terms.