Noncomputability of classes of Pappian and Desarguesian projective planes

DOI10.1134/S0037446613020092zbMath1273.03122MaRDI QIDQ350846

N. T. Kogabaev

Publication date: 3 July 2013

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Pappian projective planecomputable modelcomputable class of modelscomputable isomorphismDesarguesian projective plane

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Computable structure theory, computable model theory (03C57)

Related Items (3)

The branching theorem and computable categoricity in the Ershov hierarchy ⋮ The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes ⋮ The theory of projective planes is complete with respect to degree spectra and effective dimensions

Cites Work

• Theory of projective planes
• The class of projective planes is noncomputable
• Unnamed Item

This page was built for publication: Noncomputability of classes of Pappian and Desarguesian projective planes