Every low2 Boolean algebra has a recursive copy (1995)

by J J Thurber
Venue:Proceedings of the American Mathematical Society 123