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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call