Computably Categorical Fields via Fermat’s Last Theorem

Computability - Netherlands
doi 10.3233/com-13017