Показать сокращенную информацию
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 |