|
This article is cited in 10 scientific papers (total in 10 papers)
The theory of projective planes is complete with respect to degree spectra and effective dimensions
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:
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, computable dimension, degree spectrum of relation, categoricity spectrum, automorphism spectrum.
Received: 26.10.2014
Citation:
N. T. Kogabaev, “The theory of projective planes is complete with respect to degree spectra and effective dimensions”, Algebra Logika, 54:5 (2015), 599–627; Algebra and Logic, 54:5 (2015), 387–407
Linking options:
https://www.mathnet.ru/eng/al715 https://www.mathnet.ru/eng/al/v54/i5/p599
|
Statistics & downloads: |
Abstract page: | 349 | Full-text PDF : | 41 | References: | 45 | First page: | 13 |
|