Undecidability of the theory of projective planes

DOI10.1007/S10469-010-9075-8MaRDI QIDQ1957347zbMATH OpenOpenAlexFDO

Authors N. T. Kogabaev

Publication date 25 September 2010

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-010-9075-8

zbMATH Keywords

freely generated projective planeprojective planeundecidable theory

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Real and complex geometry (51M99)

Recommendations

• The class of projective planes is noncomputable
• First-order model theory of free projective planes
• Noncomputability of classes of Pappian and Desarguesian projective planes
• Computable dimensions of Pappusian and Desarguesian projective planes
• On the -theories of free projective planes

Cites work

• scientific article; zbMATH DE number 195120 (Why is no real title available?)
• scientific article; zbMATH DE number 3796704 (Why is no real title available?)
• scientific article; zbMATH DE number 3316928 (Why is no real title available?)
• On freely generated projective planes

Cited in

(11)

• Undecidability of the theory of finite nearfields
• A codicity undecidable problem in the plane.
• On the -theories of free projective planes
• Freely generated projective planes with finite computable dimension
• scientific article; zbMATH DE number 4161543 (Why is no real title available?)
• The class of projective planes is noncomputable
• scientific article; zbMATH DE number 4041890 (Why is no real title available?)
• Indécidabilité des corps de courbe réelle
• Undecidable First-Order Theories of Affine Geometries
• Model theory of projective spaces
• The domino problem of the hyperbolic plane is undecidable

This page was built for publication: Undecidability of the theory of projective planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1957347)