Freely Generated Projective Planes with Finite Computable Dimension

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

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

Fingerprint Подробные сведения о темах исследования «Freely Generated Projective Planes with Finite Computable Dimension». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать