On constructivizability of Boolean algebras with a selected subalgebra

DOI10.1007/BF01158627zbMath0703.03015MaRDI QIDQ915721

Z. A. Dulatova

Publication date: 1989

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

constructive modelrecursive modelrecursively enumerable extension of the theory of Boolean algebras with a distinguished subalgebra

Mathematics Subject Classification ID

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: On constructivizability of Boolean algebras with a selected subalgebra