scientific article; zbMATH DE number 4127184
From MaRDI portal
Publication:4206715
zbMath0688.03021MaRDI QIDQ4206715
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive modelrecursive modelrecursively enumerable extension of the theory of Boolean algebras with a distinguished subalgebra
Boolean algebras (Boolean rings) (06E99) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication:
