A topological analog to the Rice-Shapiro index theorem

DOI10.2307/2273101zbMath0518.03015OpenAlexW2122063330MaRDI QIDQ3666834

Douglas E. Miller, Louise Hay

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273101

zbMATH Keywords

index setsemirecursive setneatly pruned tree

Mathematics Subject Classification ID

Complete metric spaces (54E50) Descriptive set theory (03E15) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (3)

Representations of the real numbers and of the open subsets of the set of real numbers ⋮ Index sets for \(\Pi^0_1\) classes ⋮ On effectively computable realizations of choice functions

Cites Work

• Descriptive set theory

This page was built for publication: A topological analog to the Rice-Shapiro index theorem