Tree self-embeddings
David Ross · Canadian Mathematical Bulletin · 1989
Abstract Elementary proofs are given of the following two statements: (1) Every infinite tree of height at most ω properly embeds into itself. (2) There is a tree of height ω + 1 that does not properly embed into itself.