๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A non-constructible projective plane

โœ Scribed by S. Foldes; N. M. Singhi


Publisher
Springer
Year
1980
Tongue
English
Weight
132 KB
Volume
9
Category
Article
ISSN
0046-5755

No coin nor oath required. For personal study only.

โœฆ Synopsis


There exists a finitely generated projective plane in which the point-line incidence relation is algorithmically undecidable.


๐Ÿ“œ SIMILAR VOLUMES


Ternar of a projective plane
โœ A. I. Shirshov ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Springer US ๐ŸŒ English โš– 173 KB
Maximal sets of permutations constructed
โœ Peter Lorimer ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 406 KB

On the set of n2+ n + 1 points of a projective plane, a set of ta2 + n -I-1 permutations is constructed with the property that any two are a Hamming distance 2n + 1 apart. Another set is constructed in which every pak are a Hamming distance not greater than 2n + 1 apart. Both sets are maximal with r

Gobos in a finite projective plane
โœ George E Martin ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 283 KB