Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra

DOI10.1007/BF02259855zbMath0781.03032MaRDI QIDQ2366358

Sergei P. Odintsov

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

recursive representationrecursive Boolean algebraintrinsically recursively enumerable subalgebras

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Computable ideals in \(I\)-algebras

Cites Work

• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Generic copies of countable structures
• Unnamed Item
• Unnamed Item

This page was built for publication: Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra