Enviar artigo por via de e-mail ∏11-Completeness of the Computable Categoricity Problem for Projective Planes
- Autores: Kogabaev N.T.1,2
-
Afiliações:
- Sobolev Institute of Mathematics
- Novosibirsk State University
- Edição: Volume 55, Nº 4 (2016)
- Páginas: 283-288
- Seção: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/233992
- DOI: https://doi.org/10.1007/s10469-016-9397-2
- ID: 233992
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Sobre autores
N. Kogabaev
Sobolev Institute of Mathematics; Novosibirsk State University
Autor responsável pela correspondência
Email: kogabaev@math.nsc.ru
Rússia, pr. Akad. Koptyuga 4, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
Arquivos suplementares
