On the existence of indiscernible trees

We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set (O,<) such that, for any a∈O, the initial segment {b∈O:b