Pages that link to "Item:Q2970966"
From MaRDI portal
The following pages link to Strength and Weakness in Computable Structure Theory (Q2970966):
Displayed 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)