Lattice of definability in the order of rational numbers

DOI10.1134/S0001434620070093zbMath1485.03177OpenAlexW3047092192MaRDI QIDQ2197237

A. L. Semenov, Andrej A. 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

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

Related Items (1)

Lattice of definability (of reducts) for integers with successor

Cites Work

• Unnamed Item
• Transitivity of permutation groups on unordered sets
• Presburgerness of predicates regular in two number systems
• The definable criterion for definability in Presburger arithmetic and its applications.
• Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
• Relations related to betweenness: their structure and automorphisms
• The Lattice of Definability. Origins, Recent Developments, and Further Directions

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