Pages that link to "Item:Q694494"
From MaRDI portal
The following pages link to Computable isomorphisms of Boolean algebras with operators (Q694494):
Displayed 7 items.
- Categoricity spectra for polymodal algebras (Q514501) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Boolean Algebras with Distinguished Endomorphisms and Generating Trees (Q5741387) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)