Publication:4133973
From MaRDI portal
zbMath0361.02066MaRDI QIDQ4133973
Publication date: 1976
Full work available at URL: https://eudml.org/doc/61521
03C60: Model-theoretic algebra
06E05: Structure theory of Boolean algebras
03F99: Proof theory and constructive mathematics
03C68: Other classical first-order model theory
Related Items
Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable, Applications of Boolean powers of algebraic systems, Decidable Boolean algebras of low level, Computable classes of constructivizations for models of finite constructivizability type, Strong constructibility of Boolean algebras of elementary characteristic (1,1,0), Effectively infinite classes of weak constructivizations of models, Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)