scientific article; zbMATH DE number 2154090

zbMath1062.03035MaRDI QIDQ4664637

P. E. Alaev

Publication date: 8 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

elementary characteristic of a Boolean algebracomputable Boolean algebra

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

The minimality of certain decidability conditions for Boolean algebras ⋮ Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable ⋮ Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)

This page was built for publication: