Computable isomorphisms of Boolean algebras with operators
From MaRDI portal
Publication:694494
DOI10.1007/S11225-012-9411-1zbMATH Open1285.03059OpenAlexW2024339934MaRDI QIDQ694494FDOQ694494
Authors: 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
Recommendations
- scientific article; zbMATH DE number 1421070
- Boolean algebras of elementary characteristic \((1, 0, 1)\) with computable set of atoms and computable ideal of atomic elements
- scientific article; zbMATH DE number 2047485
- Complexity of some natural problems on the class of computable \(I\)-algebras
- Boolean algebras with finite families of computable automorphisms
Theory of numerations, effectively presented structures (03D45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cites Work
- Boolean Algebras with Operators. Part I
- Autostability of models
- The computable dimension of ordered abelian groups
- Recursive isomorphism types of recursive Boolean algebras
- Algebraic polymodal logic: a survey
- Recursive categoricity and persistence
- Degree spectra and computable dimensions in algebraic structures
- Normal monomodal logics can simulate all others
- Computably categorical structures and expansions by constants
Cited In (11)
- On the effective universality of mereological theories
- Title not available (Why is that?)
- HKSS-completeness of modal algebras
- Computable Heyting algebras with distinguished atoms and coatoms
- Categoricity spectra of computable structures
- Effective categoricity for distributive lattices and Heyting algebras
- COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
- Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
- Boolean algebras with distinguished endomorphisms and generating trees
- Categoricity spectra for polymodal algebras
- The completeness of the isomorphism relation for countable Boolean algebras
This page was built for publication: Computable isomorphisms of Boolean algebras with operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694494)
