Pages that link to "Item:Q2401538"
From MaRDI portal
The following pages link to Freely generated projective planes with finite computable dimension (Q2401538):
Displaying 8 items.
- Computable dimensions of Pappusian and Desarguesian projective planes (Q694236) (← links)
- On freely generated projective planes (Q802135) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Systems of Diophantine equations over finite configurations (Q2691809) (← links)
- The class of projective planes is noncomputable (Q3546127) (← links)
- Homomorphisms of freely generated projective planes (Q5903756) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)