Recursively enumerable Boolean algebras
- 31 October 1978
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 15 (1) , 75-107
- https://doi.org/10.1016/0003-4843(78)90027-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Complementation in the lattice of subalgebras of a Boolean algebraAlgebra universalis, 1980
- Recursively enumerable vector spacesAnnals of Mathematical Logic, 1977
- Recursion theory and algebraPublished by Springer Nature ,1975
- Classes of Recursively Enumerable Sets and Degrees of UnsolvabilityMathematical Logic Quarterly, 1966