For more information about this meeting, contact Jan Reimann, Stephen Simpson.
|Title:||Degrees of Categoricity of Algebraic Fields|
|Speaker:||Russell Miller, City University of New York|
|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
|Date:||03 / 20 / 2012|
|Time:||02:30pm - 03:45pm|