Показать сокращенную информацию

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


Файлы в этом документе

Данный элемент включен в следующие коллекции

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика