G. Fuhrken. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 (1964), pp. 291–302. - R. L. Vaught. The completeness of logic with the added quantifier “there are uncountably many.”Fundamenta mathematicae, vol. 54 (1964), pp. 303–304.
Paweł Zbierski · Journal of Symbolic Logic · 1968
G. Fuhrken. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 (1964), pp. 291–302. - R. L. Vaught. The completeness of logic with the added quantifier “there are uncountably many.”Fundamenta mathematicae, vol. 54 (1964), pp. 303–304. - Volume 33 Issue 1