Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets

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

Abstract

Abstract is missing.