Pages that link to "Item:Q2970966"
From MaRDI portal
The following pages link to Strength and Weakness in Computable Structure Theory (Q2970966):
Displaying 6 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)
- The strength of replacement in weak arithmetic (Q5277762) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Degrees of categoricity and treeable degrees (Q6649852) (← links)