Pages that link to "Item:Q694236"
From MaRDI portal
The following pages link to Computable dimensions of Pappusian and Desarguesian projective planes (Q694236):
Displaying 8 items.
- Noncomputability of classes of Pappian and Desarguesian projective planes (Q350846) (← links)
- On automaton presentations of projective planes (Q467658) (← links)
- The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (Q721363) (← links)
- Constructively presented projective planes (Q810866) (← links)
- Undecidability of the theory of projective planes (Q1957347) (← links)
- \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes (Q2364332) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- The class of projective planes is noncomputable (Q3546127) (← links)