Аннотация
It is proved that for every natural n ≥ 1, there exists a computable freely generated projective plane with computable dimension n. It is stated that the class of freely generated projective planes is complete with respect to degree spectra of automorphically nontrivial structures, effective dimensions, expansions by constants, and degree spectra of relations.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 461-484 |
Число страниц | 24 |
Журнал | Algebra and Logic |
Том | 55 |
Номер выпуска | 6 |
DOI | |
Состояние | Опубликовано - 1 янв. 2017 |