Model-interpretability into trees and applications

It will be shown thatn-separated graphs are model-interpretable into trees, in particular this holds for unary function graphs. Hence metamathematical results for trees carry over to more general graphs. We show that trees are stable in some infinite cardinality, hencen-separated graphs are stable, in particular this holds for unary functions. This generalizes results in [4]. Other examples concern decidability and the finite valency satisfiability property.