Automorphisms of the lattice of recursively enumerable sets and hyperhypersimple sets (1989)

by E Herrmann
Venue:Logic, Methodology and Philosphy of Science VIII, Studies in Logic and the Foundations of Mathematics, 126