On quantification with a finite universe

DOI10.2307/2586688MaRDI QIDQ4527911zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 21 March 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9809201

zbMATH Keywords

classification problemfinite model theoryfinite universesecond-order quantifiers

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80)

Abstract: We consider a finite universe U (more exactly - a family U of them) and second order quantifiers Q_K, where for each U this means quantifying over a family of n(K)-place relations closed under permuting U. We define some natural orders and shed some light on the classification problem of those quantifiers.

Recommendations

• A dichotomy in classifying quantifiers for finite models
• Relativization of quantifiers in finite models
• scientific article; zbMATH DE number 1064109
• scientific article; zbMATH DE number 1453076
• On second-order generalized quantifiers and finite structures

Cited in

(2)

• scientific article; zbMATH DE number 1163945 (Why is no real title available?)
• A dichotomy in classifying quantifiers for finite models

This page was built for publication: On quantification with a finite universe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527911)