Pages that link to "Item:Q1821772"
From MaRDI portal
The following pages link to Categoricity in hyperarithmetical degrees (Q1821772):
Displaying 31 items.
- The complexity of computable categoricity (Q471691) (← links)
- Pairs of recursive structures (Q923075) (← links)
- Labelling systems and r.e. structures (Q923076) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- Strong \(\Delta ^ 0_ 2\) categoricity (Q1078172) (← links)
- Generic copies of countable structures (Q1123889) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Hyperarithmetical relations in expansions of recursive structures (Q1315834) (← links)
- Inseparability in recursive copies (Q1326768) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Back and forth relations for reduced abelian \(p\)-groups (Q1902617) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- Strong degrees of categoricity and weak density (Q2211365) (← links)
- Degrees of autostability relative to strong constructivizations for Boolean algebras (Q2364293) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Effective categoricity of equivalence structures (Q2498900) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- COMPUTABLE STRUCTURES OF RANK $\omega_{1}^{{\rm CK}}$ (Q3094353) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- The computable dimension of trees of infinite height (Q3370758) (← links)
- Computable categoricity of trees of finite height (Q3370760) (← links)
- A robuster Scott rank (Q3450085) (← links)
- Coding in the automorphism group of a computably categorical structure (Q4988826) (← links)
- DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS (Q5738206) (← links)
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension (Q5965131) (← links)
- Categoricity and complexity of relations over algebraic structures (Q5965135) (← links)
