Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

Jonas Meyer's answer: Quote from arxiv.org/abs/0902.3961, Bjorn Poonen, Feb. 2009: "Harvey Friedman asked whether there exists a polynomial $f(x,y)\in Q[x,y]$ such that the induced map $Q × Q\to Q$ is injective. Heuristics suggest that most sufficiently complicated polynomials should do the trick. Don Zagier has speculated that a polynomial as simple as $x^7+3y^7$ might already be an example. But it seems very difficult to prove that any polynomial works. Our theorem gives a positive answer conditional on a small part of a wellknown conjecture." – Jonas Meyer 


protected by Andrés Caicedo Dec 5 '13 at 14:23
Thank you for your interest in this question.
Because it has attracted lowquality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site.
Would you like to answer one of these unanswered questions instead?