Abstract
We consider a finite universe script U sign (more exactly - a family U-fraktur sign of them), second order quantifiers QK, where for each U sign this means quantifying over a family of n(K)-place relations closed under permuting U sign. We define some natural orders and shed some light on the classification problem of those quantifiers.
Original language | English |
---|---|
Pages (from-to) | 1055-1075 |
Number of pages | 21 |
Journal | Journal of Symbolic Logic |
Volume | 65 |
Issue number | 3 |
DOIs | |
State | Published - Sep 2000 |