A dichotomy in classifying quantifiers for finite models

DOI10.2178/jsl/1129642126zbMath1108.03040arXivmath/0405091OpenAlexW2161787358MaRDI QIDQ5486252

Saharon Shelah, Mor Doron

Publication date: 6 September 2006

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

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

zbMATH Keywords

expressibilitydefinabilityfinite model theorysecond-order quantifier

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Second- and higher-order model theory (03C85)

Cites Work

• There are just four second-order quantifiers

This page was built for publication: A dichotomy in classifying quantifiers for finite models