scientific article; zbMATH DE number 7407017

MaRDI QIDQ5155115

S. F. Soprunov, A. L. Semenov

Publication date: 6 October 2021

Full work available at URL: http://mathnet.ru/eng/cheb1003

Title of this publication is not available (Why is that?)

zbMATH Keywords

quantifier eliminationautomorphismsdecidabilitydefinabilityreductsSvenonius theoremdefinability space

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Geometry (51-XX)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Definability in the lattice of equational theories of semigroups 👍 👎
• Lattice of definability in the order of rational numbers 👍 👎
• Definable structures in the lattice of recursively enumerable sets 👍 👎
• The Lattice of Definability. Origins, Recent Developments, and Further Directions 👍 👎
• Algebras of Definable Sets vs. Concept Lattices 👍 👎
• Lattices and Their Consistent Quantification 👍 👎
• The lattice of definability: origins, recent developments, and further directions 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5155115)