Title Bivariate polynomial injections
It is an open problem whether there is a bivariate polynomial f(x,y) with rational coefficients which induces an injective function from the set of pairs of rational numbers into the rational numbers. In the direction of a positive answer, we will prove that there is an affine curve C defined over the rational numbers with a dense set of rational points, and regular polynomial function on CxC which defines an injective function on rational points.
Tea at 3 PM
Drinks afterwords in the mathematics library