Recent content by heptheorist

This is a great idea, exactly what I wanted. Thank you!

For a paper I'm writing: Does anyone know of an explicit order-embedding (i.e. an order-preserving function) from \mathbb Z^\infty, the direct sum of infinitely many copies of the integers ordered lexicographically, to \mathbb Q, the rationals? It need not be a surjective embedding, but that...