Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets

DOI10.2307/2272239zbMath0333.02037OpenAlexW4240816900MaRDI QIDQ4100080

Manuel Lerman

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (4)

Maximality in effective topology ⋮ α-Degrees of maximal α-r.e. sets ⋮ Recursively enumerable sets and degrees ⋮ Simplicity in effective topology

This page was built for publication: Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets