PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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