Freely Generated Projective Planes with Finite Computable Dimension. / Kogabaev, N. T.
In: Algebra and Logic, Vol. 55, No. 6, 01.01.2017, p. 461-484.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Freely Generated Projective Planes with Finite Computable Dimension
AU - Kogabaev, N. T.
N1 - Publisher Copyright: © 2017, Springer Science+Business Media New York.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - 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.
AB - 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.
KW - computable dimension
KW - computable structure
KW - degree spectrum of relation
KW - degree spectrum of structure
KW - freely generated projective plane
KW - projective plane
UR - http://www.scopus.com/inward/record.url?scp=85014995225&partnerID=8YFLogxK
U2 - 10.1007/s10469-017-9418-9
DO - 10.1007/s10469-017-9418-9
M3 - Article
AN - SCOPUS:85014995225
VL - 55
SP - 461
EP - 484
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
IS - 6
ER -
ID: 10276449