Pages that link to "Item:Q2401538"

The following pages link to Freely generated projective planes with finite computable dimension (Q2401538):

Displayed 4 items.

• Categoricity spectra of computable structures (Q2036466) ‎ (← links)
• Systems of Diophantine equations over finite configurations (Q2691809) ‎ (← links)
• On the effective universality of mereological theories (Q6094132) ‎ (← links)
• Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) ‎ (← links)