Descriptive complexity of finite structures: Saving the quantifier rank

DOI10.2178/jsl/1120224721zbMath1105.03029arXivmath/0305244MaRDI QIDQ5718668

Oleg Pikhurko, Oleg Verbitsky

Publication date: 16 January 2006

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

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

zbMATH Keywords

descriptive complexity; finite structures; quantifier rank

Mathematics Subject Classification ID

03C13: Model theory of finite structures

03C10: Quantifier elimination, model completeness, and related topics

68Q19: Descriptive complexity and finite models