For more information about this meeting, contact Jan Reimann, Stephen Simpson.

Title: | Degrees of Categoricity of Algebraic Fields |

Seminar: | Logic Seminar |

Speaker: | Russell Miller, City University of New York |

Abstract: |

Let F be a computable field: a countable field in which the addition and multiplication are given by computable functions. We investigate the Turing degrees d such that F is d-computably categorical, meaning that d is able to compute isomorphisms between F and every other computable field isomorphic to F. We prove that algebraic fields can fail to be 0'-computably categorical, but that there is a degree d, low relative to 0', such that every algebraic field is d-computably categorical. We also prove analogous results, one jump lower, for computable fields F for which the irreducibility of polynomials in F[X] is decidable. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 03 / 20 / 2012 |

Time: | 02:30pm - 03:45pm |