Computable isomorphisms of Boolean algebras with operators
type: Item
instance of: scholarly article
title: Computable isomorphisms of Boolean algebras with operators
zbMATH Open document ID: 1285.03059
author: Bakhadyr Khoussainov
author: Tomasz Kowalski
published in: Studia Logica
publication date: 2012-12-12T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 06E25
zbMATH DE Number: 6115288
zbMATH Keywords: computable isomorphism
zbMATH Keywords: Boolean algebra with operators
zbMATH Keywords: degree spectrum
MaRDI profile type: Publication
full work available at URL: s11225-012-9411-1
OpenAlex ID: W2024339934
cites work: Computably categorical structures and expansions by constants
cites work: Autostability of models
cites work: Degree spectra and computable dimensions in algebraic structures
cites work: Algebraic polymodal logic: a survey
cites work: The computable dimension of ordered abelian groups
cites work: Boolean Algebras with Operators. Part I
cites work: Normal monomodal logics can simulate all others
cites work: Recursive categoricity and persistence
cites work: Recursive isomorphism types of recursive Boolean algebras
DOI: 10.1007/S11225-012-9411-1
description: scientific article; zbMATH DE number 6115288