Geodesic
The theory of projective planes is complete with respect to degree spectra and effective dimensions
Algebra i logika, Tome 54 (2015) no. 5, pp. 599-627

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove that the theory of Pappian projective planes is complete with respect to degree spectra of automorphically nontrivial structures, effective dimensions, degree spectra of relations, categoricity spectra, and automorphism spectra. Therefore, for every natural $n\ge2$, there exists a computable Pappian projective plane with computable dimension $n$.
Keywords: projective plane, Pappian projective plane, computable structure, degree spectrum of structure, degree spectrum of relation, categoricity spectrum, automorphism spectrum.
Mots-clés : computable dimension 
@article{AL_2015_54_5_a3,
     author = {N. T. Kogabaev},
     title = {The theory of projective planes is complete with respect to degree spectra and effective dimensions},
     journal = {Algebra i logika},
     pages = {599--627},
     publisher = {mathdoc},
     volume = {54},
     number = {5},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2015_54_5_a3/}
}
TY  - JOUR
AU  - N. T. Kogabaev
TI  - The theory of projective planes is complete with respect to degree spectra and effective dimensions
JO  - Algebra i logika
PY  - 2015
SP  - 599
EP  - 627
VL  - 54
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2015_54_5_a3/
LA  - ru
ID  - AL_2015_54_5_a3
ER  - 
%0 Journal Article
%A N. T. Kogabaev
%T The theory of projective planes is complete with respect to degree spectra and effective dimensions
%J Algebra i logika
%D 2015
%P 599-627
%V 54
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2015_54_5_a3/
%G ru
%F AL_2015_54_5_a3
N. T. Kogabaev. The theory of projective planes is complete with respect to degree spectra and effective dimensions. Algebra i logika, Tome 54 (2015) no. 5, pp. 599-627. http://geodesic.mathdoc.fr/item/AL_2015_54_5_a3/