On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates

DOI10.1007/978-3-642-32621-9_6zbMath1362.03030OpenAlexW74226167MaRDI QIDQ2915019

Nicole Schweikardt

Publication date: 21 September 2012

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32621-9_6

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)

This page was built for publication: On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates