The following pages link to (Q4795524):
Displaying 11 items.
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Computability-theoretic categoricity and Scott families (Q1740457) (← links)
- Computability of distributive lattices (Q1745078) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Degrees of autostability for linear orders and linearly ordered abelian groups (Q2364330) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Degrees of autostability relative to strong constructivizations (Q2510761) (← links)
- Torsion-free abelian groups with optimal Scott families (Q4565755) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)