A characterization of definability of second-order generalized quantifiers with applications to non-definability
Under an Elsevier user license
open archive
Keywords
Second-order generalized quantifiers
Definability
Majority quantifier
Second-order logic
Collective quantification
Cited by (0)
Copyright © 2014 Elsevier Inc. All rights reserved.