My solution for number 1 is not complete. Since $ \oplus_{\mathbf{N}} \mathbf{Q} $ consists of a union of the sets I was looking at, which were n-tuples for a set n, instead of a variable n. Dimberti 14:02, 11 September 2008 (UTC)
