On quantification with a finite universe
<|reference_start|>On quantification with a finite universe: We consider a finite universe U (more exactly - a family U of them) and second order quantifiers Q_K, where for each U this means quantifying over a family of n(K)-place relations closed under permuting U. We define some natural orders and shed some light on the classification problem of those quantifiers.<|reference_end|>
@article{shelah1998on,
    title={On quantification with a finite universe},
    author={Saharon Shelah},
    journal={arXiv preprint arXiv:math/9809201},
    year={1998},
    number={Shelah [Sh:639]},
    archivePrefix={arXiv},
    eprint={math/9809201},
    primaryClass={math.LO cs.CC cs.LO}
}