Encoding orders and trees in real-valued functions
DGX agentarXiv:2607.21761v1 Announce Type: cross Abstract: 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