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 -