RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2016 Volume 55, Number 6, Pages 704–737 (Mi al771)

This article is cited in 4 papers

Freely generated projective planes with finite computable dimension

N. T. Kogabaevab

a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090 Russia
b Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090 Russia

Abstract: It is proved that for every natural $n\ge1$, 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.

Keywords: degree spectra of automorphically nontrivial structures, effective dimensions, expansions by constants, and degree spectra of relations.

UDC: 510.53+514.146

Received: 04.12.2015
Revised: 24.06.2016

DOI: 10.17377/alglog.2016.55.603


 English version:
Algebra and Logic, 2017, 55:6, 461–484

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025