scientific article
From MaRDI portal
Publication:4067090
zbMath0309.02052MaRDI QIDQ4067090
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)
Related Items (3)
Recursively rigid Boolean algebras ⋮ Decidable Boolean algebras of low level ⋮ Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)
This page was built for publication:
