News

Further research has expanded the scope of effective descriptive set theory to include domain-like structures, thereby bridging gaps between classical set theory and theoretical computer science.