Мақаланы E-mail арқылы жіберу ∏11-Completeness of the Computable Categoricity Problem for Projective Planes
- Авторлар: Kogabaev N.T.1,2
-
Мекемелер:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Шығарылым: Том 55, № 4 (2016)
- Беттер: 283-288
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/233992
- DOI: https://doi.org/10.1007/s10469-016-9397-2
- ID: 233992
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
Computable presentations for projective planes are studied. We prove that the problem of computable categoricity is ∏11-complete for the following classes of projective planes: Pappian projective planes, Desarguesian projective planes, arbitrary projective planes.
Авторлар туралы
N. Kogabaev
Sobolev Institute of Mathematics; Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: kogabaev@math.nsc.ru
Ресей, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
Қосымша файлдар
