A topological analog to the Rice-Shapiro index theorem

DOI10.2307/2273101zbMATH Open0518.03015OpenAlexW2122063330MaRDI QIDQ3666834FDOQ3666834

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

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

Cites Work

• Descriptive set theory

Cited In (3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666834)