Lattice of recursively enumerable subalgebras of a recursive Boolean algebra
From MaRDI portal
Publication:1113895
DOI10.1007/BF01979640zbMath0662.03039MaRDI QIDQ1113895
Publication date: 1986
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187371
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Cites Work