Pages that link to "Item:Q3430937"
From MaRDI portal
The following pages link to Classification from a Computable Viewpoint (Q3430937):
Displaying 12 items.
- Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
- The isomorphism problem for torsion-free abelian groups is analytic complete (Q952542) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Classifications of computable structures (Q1704081) (← links)
- Computable transformations of structures (Q2011638) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On the degree structure of equivalence relations under computable reducibility (Q2295742) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS (Q2976331) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- Computable embeddings and strongly minimal theories (Q5422316) (← links)
- Agreement reducibility (Q6047663) (← links)
