Lattice of definability in the order of rational numbers

DOI10.1134/S0001434620070093MaRDI QIDQ2197237zbMATH OpenOpenAlexFDO

Authors A. L. Semenov, Andrej Muchnik

Publication date 31 August 2020

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0001434620070093

zbMATH Keywords

finitely generated spacelattice of definability subspacessyntactic nature

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1533642
• Definability in substructure orderings. I: Finite semilattices
• The lattice of definability. Origins, recent developments, and further directions
• Definability in substructure orderings. IV: Finite lattices
• scientific article; zbMATH DE number 7407017

Cites work

• scientific article; zbMATH DE number 2174391 (Why is no real title available?)
• Presburgerness of predicates regular in two number systems
• Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
• Relations related to betweenness: their structure and automorphisms
• The definable criterion for definability in Presburger arithmetic and its applications.
• The lattice of definability. Origins, recent developments, and further directions
• Transitivity of permutation groups on unordered sets

Cited in

(6)

• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Definable relations in finite-dimensional subspace lattices with involution
• The lattice of definability. Origins, recent developments, and further directions
• Lattice of definability (of reducts) for integers with successor
• scientific article; zbMATH DE number 7407017 (Why is no real title available?)
• scientific article; zbMATH DE number 1542840 (Why is no real title available?)

This page was built for publication: Lattice of definability in the order of rational numbers

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