arxivmath.COcs.LGmath.LO2026-07-23
Encoding orders and trees in real-valued functions
We prove function-theoretic analogues of a quantitative result of Hodges on extracting the order property from a sufficiently large 2-tree coded in a binary relation. Similar analogues for functions were previously obtained by Daskalakis and Golowich and by Anderson and Benedikt.…