Abstract
We study computable presentations for projective planes. We show that the isomorphism problem is Σ 1 1 complete for Pappian projective planes, Desarguesian projective planes, and arbitrary projective planes. Bibliography: 11 titles.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have