|
This article is cited in 2 scientific papers (total in 2 papers)
Undecidability of the theory of projective planes
N. T. Kogabaev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
Elementary theories of projective planes are studied. The class of symmetric irreflexive graphs is proved to be relatively elementarily definable in the class of projective planes. Therefore, the theory of projective planes is hereditarily undecidable.
Keywords:
projective plane, freely generated projective plane, undecidable theory.
Received: 10.02.2009
Citation:
N. T. Kogabaev, “Undecidability of the theory of projective planes”, Algebra Logika, 49:1 (2010), 3–17; Algebra and Logic, 49:1 (2010), 1–11
Linking options:
https://www.mathnet.ru/eng/al426 https://www.mathnet.ru/eng/al/v49/i1/p3
|
Statistics & downloads: |
Abstract page: | 418 | Full-text PDF : | 129 | References: | 65 | First page: | 11 |
|