![](/img/cover-not-exists.png)
Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
Lerman, ManuelVolume:
41
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S002248120005146X
Date:
June, 1976
File:
PDF, 1.02 MB
english, 1976