Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 65, Issue 3 (2000), 1055-1075.
On Quantification with a Finite Universe
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.
J. Symbolic Logic, Volume 65, Issue 3 (2000), 1055-1075.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Shelah, Saharon. On Quantification with a Finite Universe. J. Symbolic Logic 65 (2000), no. 3, 1055--1075. https://projecteuclid.org/euclid.jsl/1183746169