Broere, Izak; Heidema, Johannes; Mihok, Peter
(Springer, 2013-04)
Rado constructed a (simple) denumerable graph R with the positive integers as vertex set
with the following edges: For given m and n with m < n, m is adjacent to n if n has a 1 in
the m'th position of its binary expansion. ...