scientific article; zbMATH DE number 1873427
From MaRDI portal
Publication:4795516
zbMATH Open1008.03027MaRDI QIDQ4795516
Publication date: 24 February 2003
Title of this publication is not available (Why is that?)
computable numberingconstructive modelBoolean algebra with distinguished idealcomputable Boolean algebras
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 (2)
COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS ⋮ On Index Sets of Some Properties of Computable Algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4795516)