Autostability of Boolean algebras with distinguished ideal
From MaRDI portal
Publication:1288130
DOI10.1007/BF02672914zbMath0913.06011MaRDI QIDQ1288130
Publication date: 11 May 1999
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Autostable atomic-ideal enrichments of computable Boolean algebras ⋮ The branching theorem and computable categoricity in the Ershov hierarchy ⋮ Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals ⋮ Computably categorical Boolean algebras enriched by ideals and atoms
Cites Work
This page was built for publication: Autostability of Boolean algebras with distinguished ideal