Pages that link to "Item:Q350846"

The following pages link to Noncomputability of classes of Pappian and Desarguesian projective planes (Q350846):

Displaying 10 items.

• On automaton presentations of projective planes (Q467658) (← links)
• Computable dimensions of Pappusian and Desarguesian projective planes (Q694236) (← links)
• The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (Q721363) (← links)
• The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
• Undecidability of the theory of projective planes (Q1957347) (← links)
• Non-computable impressions of computable external rays of quadratic polynomials (Q2339170) (← links)
• \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes (Q2364332) (← links)
• The class of projective planes is noncomputable (Q3546127) (← links)
• The class of non-Desarguesian projective planes is Borel complete (Q4683539) (← links)
• The theory of projective planes is complete with respect to degree spectra and effective dimensions (Q5965134) (← links)