Sh:639

• Shelah, S. (2000). On quantification with a finite universe. J. Symbolic Logic, 65(3), 1055–1075. arXiv: math/9809201 DOI: 10.2307/2586688 MR: 1791364
• 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.
• Version 1998-10-27_10 (24p) published version (22p)

@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},
 mrnumber = {1791364},
 mrclass = {03C85 (03C13)},
 doi = {10.2307/2586688},
 note = {\href{https://arxiv.org/abs/math/9809201}{arXiv: math/9809201}},
 arxiv_number = {math/9809201}
}