Encoding orders and trees in real-valued functions

G Conant, C Terry

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 analo…