The following pages link to (Q4693079):
Displaying 8 items.
- Noncomputability of classes of Pappian and Desarguesian projective planes (Q350846) (← links)
- 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)
- Stable modular lattices of small height (Q1358055) (← links)
- Undecidability of the theory of projective planes (Q1957347) (← links)
- First-order model theory of free projective planes (Q2216032) (← links)
- \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes (Q2364332) (← links)
