This is a preview. Log in through your library . Abstract Given any field K, there is a function field F/K in one variable containing definable transcendentals over K, i.e., elements in F \ K ...