A non-constructible projective plane
โ
S. Foldes; N. M. Singhi
๐
Article
๐
1980
๐
Springer
๐
English
โ 132 KB
There exists a finitely generated projective plane in which the point-line incidence relation is algorithmically undecidable.