The Lattice of Definability. Origins, Recent Developments, and Further Directions

DOI10.1007/978-3-319-06686-8_3zbMath1433.03073OpenAlexW2213862071MaRDI QIDQ4981145

S. F. Soprunov, A. L. Semenov, Vladimir A. Uspensky

Publication date: 24 June 2014

Published in: Computer Science - Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06686-8_3

zbMATH Keywords

quantifier eliminationautomorphismsdecidabilitydefinabilityreductsSvenonius theoremdefinability space

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Decidability of Definability Issues in the Theory of Real Addition ⋮ Lattice of definability (of reducts) for integers with successor ⋮ Lattice of definability in the order of rational numbers ⋮ Unnamed Item ⋮ Mappings preserving relations definable by linear order ⋮ Distance constraint satisfaction problems