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 5 items.
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- Degree spectra of structures (Q2036471) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
- Boolean algebras autostable relative to \(n\)-decidable presentations (Q6160499) (← links)