A topological analog to the Rice-Shapiro index theorem

DOI10.2307/2273101MaRDI QIDQ3666834zbMATH OpenOpenAlexFDO

Authors Louise Hay, Douglas E. Miller

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)

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

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)