dc.contributor.author |
Frolov A. |
|
dc.contributor.author |
Kalimullin I. |
|
dc.contributor.author |
Miller R. |
|
dc.date.accessioned |
2018-09-18T20:08:19Z |
|
dc.date.available |
2018-09-18T20:08:19Z |
|
dc.date.issued |
2009 |
|
dc.identifier.issn |
0302-9743 |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/136882 |
|
dc.description.abstract |
An algebraic field extension of ℚ or ℤ/(p) may be regarded either as a structure in its own right, or as a subfield of its algebraic closure F (either ℚ or ℤ/(p)). We consider the Turing degree spectrum of F in both cases, as a structure and as a relation on F, and characterize the sets of Turing degrees that are realized as such spectra. The results show a connection between enumerability in the structure F and computability when F is seen as a subfield of F. © 2009 Springer Berlin Heidelberg. |
|
dc.relation.ispartofseries |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|
dc.subject |
Algebraic |
|
dc.subject |
Computability |
|
dc.subject |
Computable model theory |
|
dc.subject |
Field |
|
dc.subject |
Spectrum |
|
dc.title |
Spectra of algebraic fields and subfields |
|
dc.type |
Conference Paper |
|
dc.relation.ispartofseries-volume |
5635 LNCS |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
232 |
|
dc.source.id |
SCOPUS03029743-2009-5635-SID76249102074 |
|