Pages that link to "Item:Q1957347"
From MaRDI portal
The following pages link to Undecidability of the theory of projective planes (Q1957347):
Displaying 8 items.
- The domino problem of the hyperbolic plane is undecidable (Q954981) (← links)
- Undecidability of the theory of finite nearfields (Q1117270) (← links)
- A codicity undecidable problem in the plane. (Q1401375) (← links)
- Freely generated projective planes with finite computable dimension (Q2401538) (← links)
- (Q3488795) (← links)
- The class of projective planes is noncomputable (Q3546127) (← links)
- Indécidabilité des corps de courbe réelle (Q4292594) (← links)
- Undecidable First-Order Theories of Affine Geometries (Q4649566) (← links)