Definability of arithmetical operations from binary quadratic forms Ivan Korec (1998) Acta Mathematica et Informatica Universitatis Ostraviensis