On the definability of the quantifier ''there exist uncountably many''
type: Item
instance of: scholarly article
title: On the definability of the quantifier ''there exist uncountably many''
zbMATH Open document ID: 0589.03019
DOI: 10.1007/BF00394445
author: Žarko Mijajlović
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: \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.
Mathematics Subject Classification ID: 03C80
zbMATH DE Number: 3946105
zbMATH Keywords: generalized quantifier
reviewed by: Jörg Flum
MaRDI profile type: Publication
cites work: Logic with the quantifier “there exist uncountably many”
cites work: Some model theoretic results for \(\omega\)-logic
cites work: REGULAR RELATIONS AND THE QUANTIFIER “THERE EXIST UNCOUNTABLY MANY”
cites work: Homogeneous Universal Models.
Recommended article: Q4395572
Recommended article: Algebraic analysis of the logic with the quantifier ''there exist uncountably many''
Recommended article: On the countable definability of sets
Recommended article: On the mathematical and foundational significance of the uncountable
Recommended article: ON THE UNCOUNTABILITY OF
Recommended article: On the number of models of uncountable theories
Recommended article: New Computational Paradigms
Recommended article: Q4004706
Recommended article: A trichotomy of countable, stable, unsuperstable theories
Recommended article: On the semantics of the universal quantifier
description: scientific article; zbMATH DE number 3946105