# Sh:639

• Shelah, S. (2000). On quantification with a finite universe. J. Symbolic Logic, 65(3), 1055–1075.
• Abstract:
We consider a finite universe {\mathcal U} (more exactly - a family \mathfrak{U} of them). Can second order quantifier Q_K, where for each {\mathcal U} this means quantifying over a family of n(K)-place relations closed under permuting {\mathcal U}. We define some natural orders and shed some light on the classification problem of those quantifiers.
• published version (22p)
Bib entry
@article{Sh:639,
author = {Shelah, Saharon},
title = {{On quantification with a finite universe}},
journal = {J. Symbolic Logic},
fjournal = {The Journal of Symbolic Logic},
volume = {65},
number = {3},
year = {2000},
pages = {1055--1075},
issn = {0022-4812},
doi = {10.2307/2586688},
mrclass = {03C85 (03C13)},
mrnumber = {1791364},
mrreviewer = {Bruno Poizat},
doi = {10.2307/2586688},
note = {\href{https://arxiv.org/abs/math/9809201}{arXiv: math/9809201}},
arxiv_number = {math/9809201}
}