Computable isomorphisms of Boolean algebras with operators

DOI10.1007/s11225-012-9411-1zbMath1285.03059OpenAlexW2024339934MaRDI QIDQ694494

Bakhadyr Khoussainov, Tomasz Kowalski

Publication date: 12 December 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9411-1

zbMATH Keywords

computable isomorphismBoolean algebra with operatorsdegree spectrum

Mathematics Subject Classification ID

Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Theory of numerations, effectively presented structures (03D45)

Related Items (7)

Effective categoricity for distributive lattices and Heyting algebras ⋮ On the effective universality of mereological theories ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ HKSS-completeness of modal algebras ⋮ Categoricity spectra for polymodal algebras ⋮ Boolean Algebras with Distinguished Endomorphisms and Generating Trees ⋮ Categoricity spectra of computable structures

Cites Work

• Autostability of models
• Degree spectra and computable dimensions in algebraic structures
• The computable dimension of ordered abelian groups
• Recursive isomorphism types of recursive Boolean algebras
• Recursive categoricity and persistence
• Computably categorical structures and expansions by constants
• Normal monomodal logics can simulate all others
• Algebraic polymodal logic: a survey
• Boolean Algebras with Operators. Part I

This page was built for publication: Computable isomorphisms of Boolean algebras with operators