Manuel Lerman. Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets. Journal of Symbolic Logic, 41(2):405-418, 1976.
No references recorded for this publication.
No citations of this publication recorded.