Pages that link to "Item:Q514501"
From MaRDI portal
The following pages link to Categoricity spectra for polymodal algebras (Q514501):
Displaying 5 items.
- Categoricity spectra of computable structures (Q2036466) (← links)
- HKSS-completeness of modal algebras (Q2234421) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- On the effective universality of mereological theories (Q6094132) (← links)
- Computable Heyting algebras with distinguished atoms and coatoms (Q6117138) (← links)
