On the definability of the quantifier ''there exist uncountably many'' (Q1073785)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the definability of the quantifier ''there exist uncountably many'' |
scientific article |
Statements
On the definability of the quantifier ''there exist uncountably many'' (English)
0 references
1985
0 references
\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.
0 references
generalized quantifier
0 references
