scientific article; zbMATH DE number 3561336
From MaRDI portal
Publication:4133973
zbMath0361.02066MaRDI QIDQ4133973
Publication date: 1976
Full work available at URL: https://eudml.org/doc/61521
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Structure theory of Boolean algebras (06E05) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items
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 ⋮ Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable ⋮ Decidable Boolean algebras of low level ⋮ Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) ⋮ Applications of Boolean powers of algebraic systems