The following pages link to Autostable I-Algebras (Q5476773):
Displayed 8 items.
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals (Q498238) (← links)
- Autostable atomic-ideal enrichments of computable Boolean algebras (Q600736) (← links)
- Computable ideals in \(I\)-algebras (Q619312) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
- 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344) (← links)
- Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension (Q5965131) (← links)