Successor-Invariant First-Order Logic on Classes of Bounded Degree

DOI10.1145/3373718.3394767zbMath1498.03069arXiv2009.11758MaRDI QIDQ5145657

Julien Grange

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

first-order logic; finite model theory; successor-invariance

Mathematics Subject Classification ID

03B10: Classical first-order logic

03C13: Model theory of finite structures

03C40: Interpolation, preservation, definability

68Q19: Descriptive complexity and finite models