scientific article; zbMATH DE number 7407017

MaRDI QIDQ5155115FDOQ5155115

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

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?)

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

zbMATH Keywords

automorphismsdecidabilityreductsdefinabilityquantifier eliminationSvenonius theoremdefinability space

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)

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)