Pages that link to "Item:Q2970966"

The following pages link to Strength and Weakness in Computable Structure Theory (Q2970966):

Displaying 4 items.

• Finite computable dimension and degrees of categoricity (Q1616772) (← links)
• Coding in the automorphism group of a computably categorical structure (Q4988826) (← links)
• Every Δ20 degree is a strong degree of categoricity (Q5055316) (← links)
• Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)