Lattice of definability in the order of rational numbers

DOI10.1134/S0001434620070093zbMATH Open1485.03177OpenAlexW3047092192MaRDI QIDQ2197237FDOQ2197237

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

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

zbMATH Keywords

finitely generated spacelattice of definability subspacessyntactic nature

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Transitivity of permutation groups on unordered sets
• The Lattice of Definability. Origins, Recent Developments, and Further Directions
• Relations related to betweenness: their structure and automorphisms
• 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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Lattice of definability (of reducts) for integers with successor

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)