Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hella, Lauri
and
Luosto, Kerkko
1995.
Quantifiers: Logics, Models and Computation.
p.
63.
Published online by Cambridge University Press: 12 March 2014
We prove that if ℵα is uncountable and regular, then the Beth-closure of ℒωω(Qα) is not a sublogic of ℒαω(Qn), where Qn is the class of all n-ary generalized quantifiers. In particular, B(ℒωω(Qα)) is not a sublogic of any finitely generated logic; i.e., there does not exist a finite set Q of Lindström quantifiers such that B(ℒωω(Qα)) ≤ ℒωω(Q).