No CrossRef data available.
Article contents
On quantification with a finite universe
Published online by Cambridge University Press: 12 March 2014
Abstract
We consider a finite universe (more exactly—a family of them), second order quantifiers QK, where for each this means quantifying over a family of n(K)-place relations closed under permuting . We define some natural orders and shed some light on the classification problem of those quantifiers.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2000