On the definability of the quantifier ''there exist uncountably many''
\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.
scientific article; zbMATH DE number 3946105
scientific article