Atom-free ideals of constructive Boolean algebras
From MaRDI portal
Publication:1079562
DOI10.1007/BF01979865zbMath0598.03037MaRDI QIDQ1079562
Publication date: 1984
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187270
atomic countable Boolean algebra; atomless ideals; Fréchet ideals; ideal of atomless elements; recursively presentable Boolean algebra
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Cites Work