scientific article; zbMATH DE number 1746562

zbMath0989.03041MaRDI QIDQ4530731

N. T. Kogabaev

Publication date: 28 May 2002

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

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

zbMATH Keywords

numberingcomputable class of modelsBoolean algebra with distinguished ideal

Mathematics Subject Classification ID

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

Related Items (4)

Computable numberings of the class of Boolean algebras with distinguished endomorphisms ⋮ Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism ⋮ Implicative twist-structures ⋮ Boolean Algebras with Distinguished Endomorphisms and Generating Trees

This page was built for publication: