Noncomputability of classes of pappian and desarguesian projective planes |
| |
Authors: | N T Kogabaev |
| |
Institution: | 12009. Sobolev Institute of Mathematics Novosibirsk State University, Novosibirsk, Russia
|
| |
Abstract: | We study computable representations of projective planes and prove that the class of all pappian projective planes and the class of all desarguesian projective planes have no computable numberings (up to computable isomorphism). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |