On Quantification with a Finite Universe
Shelah, Saharon
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1055-1075 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We consider a finite universe $\mathscr U$ (more exactly-a family $\mathfrak U$ of them), second order quantifiers Q$_K$, where for each $\mathscr U$ this means quantifying over a family of n(K)-place relations closed under permuting $\mathscr U$. We define some natural orders and shed some light on the classification problem of those quantifiers.
Publié le : 2000-09-14
Classification:  
@article{1183746169,
     author = {Shelah, Saharon},
     title = {On Quantification with a Finite Universe},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1055-1075},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746169}
}

Shelah, Saharon. On Quantification with a Finite Universe. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1055-1075. http://gdmltest.u-ga.fr/item/1183746169/