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)
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals, Autostable atomic-ideal enrichments of computable Boolean algebras, Computably categorical Boolean algebras enriched by ideals and atoms, The branching theorem and computable categoricity in the Ershov hierarchy
Cites Work