Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
From MaRDI portal
Publication:4100080
DOI10.2307/2272239zbMath0333.02037MaRDI QIDQ4100080
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272239
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Maximality in effective topology, Simplicity in effective topology, α-Degrees of maximal α-r.e. sets, Recursively enumerable sets and degrees