Publication:4895321
From MaRDI portal
zbMath0902.03021MaRDI QIDQ4895321
Publication date: 14 October 1996
Boolean algebra; Boolean lattice; Boolean ring; generating tree; elementary characteristic of a Boolean algebra; Ershov-Tarski ideal; elementary theory; Ershov algebra; dense Boolean; linearly ordered generating set; recursion-theoretic model theory
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
06E05: Structure theory of Boolean algebras
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
06-02: Research exposition (monographs, survey articles) pertaining to ordered structures
Related Items
Recursive automorphisms of atomic Boolean algebras, Autostability of Boolean algebras with distinguished ideal, Automorphisms of Boolean algebras which are recursive over atoms, On the applicability to semirings of two theorems from the theory of rings and modules., Classification from a Computable Viewpoint