Pages that link to "Item:Q764268"
From MaRDI portal
The following pages link to Computably categorical Boolean algebras enriched by ideals and atoms (Q764268):
Displaying 9 items.
- Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism (Q384395) (← links)
- Autostable atomic-ideal enrichments of computable Boolean algebras (Q600736) (← links)
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
- Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Degrees of categoricity for superatomic Boolean algebras (Q2434601) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Boolean algebras autostable relative to \(n\)-decidable presentations (Q6160499) (← links)