Sufficient conditions for effective translation of locally generic queries

DOI10.1007/S10958-011-0211-3zbMath1221.68081OpenAlexW2078069381MaRDI QIDQ549459

Sergey M. Dudakov

Publication date: 18 July 2011

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-011-0211-3

zbMATH Keywords

first-order languagesPresburger arithmeticeffective translationinformation extraction from databaseslocally generic queriestheory of real numbers

Mathematics Subject Classification ID

Database theory (68P15) Basic properties of first-order languages and structures (03C07)

Cites Work

• A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition.
• Extended order-generic queries
• Stability theory, permutations of indiscernibles, and embedded finite models
• A general condition for collapse results

This page was built for publication: Sufficient conditions for effective translation of locally generic queries