Электронный архив

Просмотр по теме "computable model theory"

Просмотр по теме "computable model theory"

Отсортировать по:Сортировать:Результаты поиска на странице:

  • Frolov A.; Kalimullin I.; Harizanov V.; Kudinov O.; Miller R. (2012)
    We survey known results on spectra of structures and on spectra of relations on computable structures, asking when the set of all highn degrees can be such a spectrum, and likewise for the set of non-low n degrees. We then ...

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

Просмотр

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