scientific article; zbMATH DE number 7407017

MaRDI QIDQ5155115zbMATH OpenFDO

Authors A. L. Semenov, S. F. Soprunov

Publication date 6 October 2021

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

zbMATH Keywords

automorphismsdecidabilityreductsdefinabilityquantifier eliminationSvenonius theoremdefinability space

Mathematics Subject Classification ID

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

Recommendations

• The lattice of definability. Origins, recent developments, and further directions
• The lattice of definability: origins, recent developments, and further directions
• scientific article; zbMATH DE number 1533642
• scientific article; zbMATH DE number 4210204
• Lattice of definability in the order of rational numbers
• Definable structures in the lattice of recursively enumerable sets
• scientific article; zbMATH DE number 4002342
• Algebras of definable sets vs. concept lattices
• Definability in the lattice of equational theories of semigroups
• Lattices and Their Consistent Quantification

Cited in

(4)

• The lattice of definability: origins, recent developments, and further directions
• The lattice of definability. Origins, recent developments, and further directions
• Lattice of definability in the order of rational numbers
• scientific article; zbMATH DE number 4002342 (Why is no real title available?)

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)