scientific article; zbMATH DE number 2154083

zbMath1061.03042MaRDI QIDQ4664630

P. E. Alaev

Publication date: 8 April 2005

Full work available at URL: https://eudml.org/doc/51246

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

zbMATH Keywords

computable Boolean algebra with a distinguished idealhyperarithmetical Boolean algebra

Mathematics Subject Classification ID

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

Related Items (3)

Degrees of autostability relative to strong constructivizations for Boolean algebras ⋮ 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

This page was built for publication: