Abstract
AbstractWe 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have