Almost same result to the main theorem of this paper (the extension of Kruskal-Friedman theorem to ordinal trees, Main theorem 1 in section 3) is found in R.Thomas, Well-quasi-ordering infinite graphs with forbidden finite planar minor, Trans. AMS, 312, 1, pp.279--313, 1989.