Can I read Categoricity Properties for Computable Algebraic Fields on EtoBox?

Categoricity Properties for Computable Algebraic Fields by Hirschfeldt, Denis; Kramer, Ken; Miller, Russell; Shlapentokh, Alexandra is a scholarly article available to read on EtoBox.

What is Categoricity Properties for Computable Algebraic Fields about?

We examine categoricity issues for computable algebraic fields. We give a structural criterion for relative computable categoricity of these fields, and use it to construct a field that is computably categorical, but not relatively computably categorical. Finally, we show that computable categoricity for this class of fields is $\Pi^0_4$-complete.

Author

Hirschfeldt, Denis; Kramer, Ken; Miller, Russell; Shlapentokh, Alexandra

Published

2011

Language

EN